Vorlesungen des Studiengangs Mathematik und Informatik

Winter 2019/2020

Basic Lectures (in German)

Mathematics CP Category
Analysis I – Bender 9 Compulsory for Bachelor
Lineare Algebra I – Lazic 9 Compulsory for Bachelor
Analysis III – Eschmeier 9 Compulsory for Bachelor
Einfuehrung in die Numerik – Rjasanow 9 Compulsory for Bachelor
     
Computer Science    
Programmierung 1    – Hermanns 9 Compulsory for Bachelor
Grundzüge von Algorithmen und Datenstrukturen    – Seidel 6 Compulsory for Bachelor
Grundzüge der Theoretischen Informatik    – Bläser 9 Compulsory for Bachelor

Core Lectures

Mathematics and Computer Science CP
Machine Learning – Ochs 9
   
Mathematics  
Algebra – Weitze-Schmithuesen 9
Funktionalanalysis I – Groves 9
Random Matrices – Speicher 9
Stochastics II – Bender 9
   
Computer Science  
Automated Reasoning   – Waldmann 9
Security   – Tippenhauer 9
Digital Transmission, Signal Processing (Telecommunications I) – Herfet 9
Computer Graphics   – Slusallek 9
Operating Systems   – Brandenburg 9
Complexity Theory   – Bläser ,  Komarath 9
Human Computer Interaction   – Steimle ,  Fruchard 9
Information Retrieval and Data Mining   – Saha Roy ,  Yates 9
Semantics   – Smolka ,  Dreyer 9
Software Engineering   – Apel 9
Geometric Modeling   – Zayer 9
Algorithms and Data Structures   – Seidel 9

Advanced Lectures

Mathematics and Computer Science CP
Convex Analysis and Optimization – Ochs 9
Differential Equations in Image Processing and Computer Vision –   Weickert 9
Image Acquisition Methods –   Peter 6
Differential Geometric Aspects of Image Processing –   Cardenas 6
Interpolation and Approximation for Visual Computing –   Augustin 6
   
Mathematics  
Algebraische Geometrie II – Lazic 6
Algebraische Topologie – Schreyer 6
K-Theory of C*-Algebras – Weber 4.5
Topologie – Eschmeier 6
Brownian motion and its applications to PDEs – Kinderknecht 4.5
Time Series Analysis – Zaehle 4.5
   
Computer Science  
Statistik mit R –   Demberg 6
Multimedia Transport (Future Media Internet) –   Herfet 9
AI Planning –   Hoffmann 9
Architectural Thinking for Intelligent Systems –   Köhler 6
Neural Networks: Theory and Implementation –   Klakow 9
Recht der Cybersicherheit – Datenschutz –   Sorge 6
Affective Computing –   Gebhard  
Information Extraction –   Razniewski 6
Generating Software Tests –   Zeller ,  Gopinath 6
Mobile Security –   Bugiel 6
Machine Learning in Cybersecurity –   Fritz 6
Reactive Synthesis –   Jacobs 6
Program Analysis –   Reineke 6
Theory of Distributed Systems –   Lenzen ,  Bund 6
Web Security –   Stock 6
Ethics for Nerds –   Hermanns ,  Baum 6

Proseminars (Bachelor-Level)

Mathematics
Proseminar mit Projektarbeit (LS 1): Kurven und DGS – Bildhauer
Seminar Mengentheorie – Weitze-Schmithuesen
Inverse Probleme und Maschinelles Lernen – Schuster, Wald
 
Computer Science
Less Injuries by Making Cars Secure – Nürnberger
Einführung in die Effiziente Anfrageverarbeitung – Dittrich
Joint Advances in Web Security – Stock
Malware – Rossow
Recent Topics in HCI – Kosmalla ,  Zenner ,  Kerber

Seminars

Mathematics and Computer Science
Seminar Deep Learning: From Mathematical Foundations to Image Compression – Peter, Weickert
 
Mathematics
Proseminar mit Projektarbeit (LS 1): Kurven und DGS – Bildhauer
Seminar Mengentheorie – Weitze-Schmithuesen
Inverse Probleme und Maschinelles Lernen – Schuster, Wald
Numerische Methoden fuer die Maxwellgleichungen – Rjasanow
Seminar zur Graphentheorie – Mai, Schmidt, Weber
23. Internetseminar „Evolutionary equations“ – Weber, Kinderknecht
Proseminar: VSI+MINT – Ahmad, Gutheil
 
Computer Science
Explainable AI Planning – Hoffmann
Software Engineering Research in the Neuroage – Apel
Rein4cement Learning – Wolf
Exploring Complex Network Dynamics – Wolf
Collaborative and Cooperative Robotics – Schwartz
Concurrency Theory – Hermanns
Data Privacy – Zhang
Formal Methods in Security – Jacobs
Joint Advances in Web Security – Stock ,  Pellegrino
How Secure is Messaging? Provable Guarantees for Secure Messaging – Cremers
Designing Usable Security – Krombholz
Hybrid Learning and Reasoning – Klusch
Algorithms for Big Data – Mömke
Automotive User Interfaces – Feld
Machine Teaching – Singla
Computational Design and Manufacturing – Seidel ,  Babaei
Crazy Papers in Big Data Engineering – Dittrich
Interactive Computing with Augmented and Virtual Reality – Steimle
IT-Forensik und Strafverfolgung – Sorge
Legal Tech – Sorge
Topics in Fair Division – Mehlhorn
Less Injuries by Making Cars Secure – Nürnberger