| Computer Science |
| |
|
| I. Informatics basic courses (Vorlesungen Informatik Bachelor) |
| Big Data Engineering (vormals Informationssysteme) |
(Dittrich) |
| Grundlagen der Cybersicherheit 1 |
(Stock) |
| Grundlagen der Cybersicherheit 2 |
(Schwarz) |
| Grundlagen der Medieninformatik |
(Krüger) |
| Grundzüge der Theoretischen Informatik |
(Bläser) |
| Grundzüge von Algorithmen und Datenstrukturen |
(Bringmann) |
| Interactive Systems |
(Steimle) |
| Mathematics for Computer Scientists 1-3 |
(Mai, Zähle) |
| Mathematik für Informatiker*innen 1-3 |
(Peter, Randecker, Zähle) |
| Nebenläufige Programmierung / Concurrent Programming |
(Freiberger, Hermanns) |
| Programmierung 1 |
(Maggio) |
| Programmierung 2 |
(Hermanns, Schmidt) |
| Softwarepraktikum |
(Apel, Peitek) |
| Statistics Lab |
(Wolf) |
| Systemarchitektur |
(Reineke) |
| |
| |
| II. Informatics core courses (Informatik Stammvorlesungen) |
| Algorithms and Data Structures |
(Seidel) |
| Artificial Intelligence |
(Hoffmann, Höller) |
| Automated Reasoning |
(Weidenbach) |
| Compiler Construction |
(Hack) |
| Complexity Theory |
(Bläser) |
| Computer Algebra |
(Bartholdi) |
| Computer Graphics |
(Slusallek) |
| Convex Analysis and Optimization |
(Ochs) |
| Cryptography |
(Hanzlik ,Joux) |
| Database Systems |
(Dittrich) |
Digital Transmission, Signal Processing (Telecommunications 1)
Audio-Visual Communication and Networks (Telecommunications 2) |
(Herfet) |
| Discrete Optimization (vormals Optimization) |
(Karrenbauer) |
| Distributed Systems |
(Bindschaedler, Garg, Xia) |
| Embedded Systems |
(Maggio) |
| Human-Computer Interaction |
(Steimle) |
| Image Processing and Computer Vision |
(Weickert) |
| Introduction to Computational Logic |
(Smolka) |
| Machine Learning |
(Valera) |
| Operating Systems |
(Kaufmann) |
| Security |
(Krombholz, Tippenhauer) |
| Semantics |
(Dreyer) |
| Software Engineering |
(Apel) |
| Verification |
(Finkbeiner) |
| |
| |
| III. Informatics advanced courses / seminars (Vertiefungsvorlesungen / Seminare Informatik Hauptstudium) |
| 3D Computer Vision |
(Ilg) |
| Aspects of Sustainable Computer Systems |
(Ohs, Schmidt) |
| Computational Social Choice |
(Yang) |
| Das Buch der Beweise |
(Bläser) |
| Data Science |
(Maaß) |
| Decision Procedures for Specific Theories |
(Sturm, Weidenbach) |
| Distributed Graph Algorithms |
(Brandt) |
| Einführung in die Quanteninformationsverarbeitung |
(Wilhelm-Mauch) |
| High-Level Computer Vision |
(Schiele) |
| Ideen der Informatik |
(Coupette, Mehlhorn) |
| Image Acquisition Methods |
(Peter) |
| Image Compression |
(Peter) |
| Informationsverarbeitende Automaten und Musikinstrumente von der Antike bis zur frühen Neuzeit |
(Hoffmann, Tregellis) |
| Information-Theoretic Machine Learning |
(Vreeken) |
| Internet Transport (vormals Multimedia Transport) |
(Herfet) |
| Nature-Inspired Optimisation |
(Schaefer, Weickert) |
| Neural Networks: Theory and Implementation |
(Klakow) |
| Numerical Algorithms for Visual Computing |
(Chizhov, Weickert) |
| On the Practice of System and Network Engineering |
(Feldmann, Fiebig) |
| Parameterized Algorithms |
(Marx) |
| Program Analysis |
(Reineke) |
| Query Optimization: Past to Present |
(Dittrich, Haffner) |
| Realistic Image Synthesis |
(Slusallek) |
| Recht der Cybersicherheit: Datenschutzrechtliche Aspekte |
(Sorge) |
| Reinforcement Learning |
(Wolf) |
| Systems Security |
(Holz, Abbasi) |
| The Eye of the Beholder: What Can Eye-Tracking Data Reveal about Code? |
(Apel, Peitek) |
| Topics in Algorithmic Data Analysis |
(Vreeken) |
| Wissenschaftliches Arbeiten im Bereich digitaler und analoger Spiele und darüber hinaus |
(Lessel, Krüger) |
| |
| |
| |
| Bioinformatics | -
| |
|
| Bioinformatics courses (Vorlesungen der Bioinformatik) |
| Bioinformatik 1 |
(Keller) |
| Bioinformatik 2 |
(Kalinina, Volkamer) |
| Bioinformatik 3 |
(Helms) |
| Computational Chemistry |
(Hutter) |
| Modern Methods in Drug Discovery |
(Hutter) |
| Programming Course |
(Engel, Hirsch) |
| Softwarewerkzeuge der Bioinformatik |
(Helms) |
| Structural Bioinformatics |
(Kalinina) |
| |
| |
| |
| Language Science and Technology |
| |
|
| Language Science and Technology courses (Vorlesungen der Sprachwissenschaft und Sprachtechnologie) |
| Computational Linguistics |
(Koller) |
| Computerlinguistische Algorithmen |
(Thater) |
| Einführung in die Linguistik des Japanischen |
(Schmidt) |
| Einführung in die Phonetik und Phonologie |
(Kany, Möbius) |
| Einführung in Pragmatik und Diskurs |
(Drenhaus) |
| Erstellung von Webseiten (HTML-Kurs) |
(Egler) |
| Grundlagen der Signalverarbeitung |
(Klakow) |
| Mathematische Grundlagen: Formale Sprachen und Automaten |
(Thater) |
| Mathematische Grundlagen: Logik |
(Thater) |
| |
| |
| |
| Mathematics |
| |
|
| i. Mathematics basic courses (Vorlesungen Mathematik: Erster Studienabschnitt und Hörer anderer Fachrichtungen) |
| Analysis 1 |
(Weber) |
| Analysis 2 |
(Speicher) |
| Analysis 3 |
(Speicher) |
| Einführung in die Numerik |
(Rupp) |
| Elemente der Programmierung |
(Oberacker) |
| Höhere Mathematik für Ingenieur*innen 1-4 / Grundzüge der Höheren Mathematik |
(Bildhauer, Steinhart, Weber) |
| Lineare Algebra 1-2 |
(Lazić, Weitze-Schmithüsen) |
| Mathematik für Naturwissenschaftler*innen 1-2 |
(Brandhorst, Lazić) |
| Mathematik für Studierende der Biologie und des Lehramtes Chemie |
(Steinhart) |
| Stochastik 1 |
(Zähle) |
| Theorie und Numerik gewöhnlicher Differentialgleichungen |
(Rjasanow) |
| |
| |
| ii. Mathematics core courses (Vorlesungen Mathematik Hauptstudium) |
| Algebra |
(Weitze-Schmithüsen) |
| Algebraic Surfaces |
(Alessandro) |
| Analytische Geometrie |
(Lambert) |
| Commutative Algebra and Introduction to Algebraic Geometry |
(Brandhorst) |
| Complex Analysis (Funktionentheorie) |
(Hartz) |
| Continuous Optimization |
(Ochs) |
| Elliptische Kurven |
(Brandhorst) |
| Focus Semester on Quantum Information |
(Weber) |
| Functional Analysis |
(Hartz) |
| Introduction to Mathematical Logic |
(Herzberg) |
| Inverse Problems / Nonlinear Inverse Problems |
(Schuster) |
| Inverse Problems in Elasticity |
(Schuster) |
| Life Insurance Mathematics |
(Herzberg) |
| Mathematical Foundations of Quantum Information |
(Weber) |
| Mathematical Statistics |
(Herzberg) |
| Non-Life Insurance Mathematics |
(Herzberg) |
| Nonstandard Analysis |
(Herzberg) |
| Operator Algebras |
(Hartz) |
| Operators on Hilbert Space |
(Hartz) |
| Partial Differential Equations 1 |
(Groves) |
| Philosophie der Mathematik |
(Herzberg) |
| Stochastics 2 |
(Zähle) |
| |
| |
| |
| Didactics |
| |
|
| A. Informatics didactics (Informatik Didaktik) |
| Big Data Engineering für Informatik-Lehramt Sekundarstufe 1 |
(Wachter, Walgenbach, Wolf) |
| Formale Sprachen und Automaten für Informatik-Lehramt Sekundarstufe 1 |
(Wachter, Walgenbach, Wolf) |
| |
| |
| B. Mathematics didactics (Mathematik Didaktik) |
| Elementare Zahlentheorie |
(Groves) |
| Elementarmathematik |
(Lambert, Platz) |
| Grundschuldidaktik |
(Platz) |
| Sachrechnen und seine Didaktik |
(Platz) |
| |
| |
| |