Vorlesungsverzeichnis (SoSe 2018)

Seitenansicht wählen:

kurz

mittel

lang

Vorlesungsverzeichnis

MI Fakultät für Mathematik und Informatik

Informatik

Studiengang Informatik

Grundvorlesungen

Vst.-Nr.	Veranstaltung	Vst.-Art
108990	Softwarepraktikum - Zeller	102 Grundvorlesung A
108991	Informationssysteme - Dittrich , Maaß	102 Grundvorlesung A
108992	Nebenläufige Programmierung - Wolf	102 Grundvorlesung A
108993	Systemarchitektur - Reineke	102 Grundvorlesung A
108994	Programmierung 2 - Hack , Hoffmann	102 Grundvorlesung A
109801	Mathematik für Informatiker II - Groves , Mitarbeiter des Lehrstuhls	94 Vorlesung / Übung A

Stammvorlesungen

Vst.-Nr.	Veranstaltung	Vst.-Art
108863	Artificial Intelligence - Wahlster , Torralba	94 Vorlesung / Übung A
108960	Complexity Theory - Bläser , Komarath	94 Vorlesung / Übung A
108961	Cryptography - Bläser	94 Vorlesung / Übung A
108963	Geometric Modeling - Seidel , Zayer	94 Vorlesung / Übung A
108968	Optimization - Karrenbauer	94 Vorlesung / Übung A
108969	Introduction to Computational Logic - Smolka	94 Vorlesung / Übung A
109563	Embedded Systems - Finkbeiner , Jacobs	94 Vorlesung / Übung A
110367	Image Processing and Computer Vision - Weickert , Mitarbeiter des Lehrstuhls	94 Vorlesung / Übung A

Vertiefungsvorlesungen

Vst.-Nr.	Veranstaltung	Vst.-Art
107459	Statistical Natural Language Processing - Klakow	94 Vorlesung / Übung A
107462	Search in NLP	42 Vorlesung A
108102	Digital Signal Processing / Digitale Signalverarbeitung - Klakow	94 Vorlesung / Übung A
108131	Text-to-Speech Synthesis - Möbius	42 Vorlesung A
108896	High Level Computer Vision - Schiele , Fritz	147 Weiterführende Vorlesung A
108959	Realistic Image Synthesis - Slusallek	147 Weiterführende Vorlesung A
109099	Telecommunications II - Herfet	94 Vorlesung / Übung A
109279	Ethics for Nerds - Hermanns , Baum	147 Weiterführende Vorlesung A
109280	Web Security - Stock	147 Weiterführende Vorlesung A
109352	Advanced Coq Programming - Smolka , Forster	117 Blockvorlesung A
109701	Affective Computing - Gebhard	147 Weiterführende Vorlesung A
109749	Algebraische Geometrie - Schreyer	94 Vorlesung / Übung A
110224	Topics in Algorithmic Data Analysis - Vreeken	147 Weiterführende Vorlesung A
110273	Continuous Optimization - Ochs , Mitarbeiter des Lehrstuhls	94 Vorlesung / Übung A
110352	Automated Reasoning II - Waldmann , Tourret	147 Weiterführende Vorlesung A
110359	Privacy Enhancing Technologies - Backes , Künnemann , Zhang , Hanzlik	147 Weiterführende Vorlesung A
110360	Embedded Security	147 Weiterführende Vorlesung A
110361	Recht der Cybersicherheit - Strafrechtliche Aspekte - Vogelgesang	147 Weiterführende Vorlesung A
110368	Numerical Algorithms for Visual Computing	94 Vorlesung / Übung A
110369	Image Compression - Peter	94 Vorlesung / Übung A
110529	Spezialvorlesung der Bioinformatik: Algorithms for Sequence Analysis - Schulz , Marschall	42 Vorlesung A
110706	Keeping Time in Distributed Systems - Lenzen	147 Weiterführende Vorlesung A
110722	A First Introduction to Geometric Complexity Theory - Ikenmeyer	147 Weiterführende Vorlesung A

Proseminare

Vst.-Nr.	Veranstaltung	Vst.-Art
109076	Funktionale Programmierung - Smolka	97 Proseminar A
109351	Human-Centered Design for Virtual Reality - Daiber , Speicher	97 Proseminar A
110364	Hacking - Bugiel , Sorge , Stock	97 Proseminar A
110365	Selected Topics of Mobile Security - Bugiel	97 Proseminar A
110366	Formal Verification of Security Protocols - Finkbeiner , Jacobs	97 Proseminar A
110370	Proseminar: Simulation der Welt - Andris , Weickert	97 Proseminar A
110385	Privacy by Design - Sorge	97 Proseminar A
110535	Proseminar: BioinformaticTools in Microbiological Research - Keller , Galata	97 Proseminar A
110536	Proseminar: Algorithms for Small Non-Coding RNA Discovery - Keller , Fehlmann	97 Proseminar A
110537	Proseminar: Selected Topics in Systems Biology - Backes , Keller	97 Proseminar A
110568	13 Wochen - 13 Blockchains - Dittrich , Schuhknecht	97 Proseminar A
110726	Bits in Space - Hermanns	97 Proseminar A
110823	AI for the Transfer of Control from Autonomous Systems to Humans - Schwartz , Daiber , Feld	97 Proseminar A

Seminare

Vst.-Nr.	Veranstaltung	Vst.-Art
108458	Machine Learning for Natural Language Processing - Klakow	126 Blockseminar A
108839	3D Shape Analysis - Theobalt , Bernard	90 Seminar A
109075	Admissible Search Enhancements - Hoffmann	90 Seminar A
109410	Games User Research - Krüger , Lessel , Altmeyer	90 Seminar A
109686	Deep Learning for Industrial Applications - Klusch	90 Seminar A
109742	Program Synthesis - Darulova	90 Seminar A
109785	Seminar algebraische Topologie - Hoff	90 Seminar A
109805	Rendering Techniques - Slusallek	90 Seminar A
109811	Distributed Computing - Slusallek , Hack , Membarth , Leißa	90 Seminar A
110362	Secure Compilation - Backes , Patrignani	90 Seminar A
110363	Adversarial Machine Learning - Backes , Grosse	90 Seminar A
110371	Seminar: Machine Learning for Image Analysis - Bergerhoff , Weickert	90 Seminar A
110383	AI for the Transfer of Control from Autonomous Systems to Humans - Schwartz , Daiber , Feld	90 Seminar A
110395	Trusted and Secure Computing - Bugiel	90 Seminar A
110539	Seminar: Bioinformatic tools in Microbiological Research - Keller , Galata	90 Seminar A
110540	Seminar: Algorithms for Small Non-Coding RNA Discovery - Keller , Fehlmann	90 Seminar A
110541	Seminar: selected Topics in Systems Biology - Backes , Keller	90 Seminar A
110544	Introduction to Brain Computer Interaction - Rekrut , Bulling	90 Seminar A
110554	Memory Safety - Hack , Jung , Ritter	90 Seminar A
110556	Voicebuilding for Text-to-Speech Synthesis - Steiner	90 Seminar A
110700	Reading Group in Algorithms - Mehlhorn	90 Seminar A
110704	Selected Topics in Fine-Grained Complexity Theory - Künnemann	90 Seminar A
110723	Machine Learning - Keller	90 Seminar A
110725	Bits in Space - Hermanns	90 Seminar A
110731	Angewandter Datenschutz - Privacy Enhancing Technologies und Recht - Sorge	126 Blockseminar A
110732	Aktuelle Probleme von Recht und Digitalisierung des Straßenverkehrs - Sorge	126 Blockseminar A
110806	Advances in Security Testing - Zeller , Just	90 Seminar A
110808	Current Research in Big Data Analytics - Dittrich	90 Seminar A

Freie Leistungspunkte (Soft Skills/Language/Lab)

Vst.-Nr.	Veranstaltung	Vst.-Art	Aktion
108454	Language Processing with Neural Networks - Klakow	155 Softwareprojekt A
109102	Hands-On Networking - Herfet	116 Blockpraktikum A
109114	Web Development - Altmeyer , Herbig	19 Kurs A
109562	Unix-Kurs für Unix/Linux-Einsteiger - Spurk	19 Kurs A	belegen/abmelden
110553	You can do IT. Start your idea! Entrepreneurship in IT and Maths	42 Vorlesung A

	Service & Support
	Bei Fragen, Fehlermeldungen oder Verbesserungsvorschlägen nutzen Sie bitte unsere zentrale Service-Kontaktestelle.