Institut für Computersprachen
Programmiersprachen und Übersetzer

Lehre

Aktuelle Lehrveranstaltungen

Lehrangebot:

Die Complang-Gruppe betreut neben einführenden Lehrveranstaltungen in die Informatik Lehrveranstaltungen aus den Bereichen Programmiersprachen, Programmiermethodik und Übersetzerbau.

Haben Sie Interesse an einem geförderten Auslandsstudium? Informationen zu Fördermöglichkeiten finden Sie hier.

Unsere Lehrveranstaltungen:

185.966	Abstrakte Maschinen (S)
185.A63	Advanced Topics in Theoretical Computer Science (W)
185.267	Analyse und Verifikation (S)
185.A52	Automated Reasoning and Program Verification (S)
185.416	Codegeneratoren (W)
194.030	Configuration Management (S)
185.A67	Computational Semantics (W)
185.A50	Dynamische Übersetzer (S)
185.190	Effiziente Programme (W)
185.A05	Fortgeschrittene funktionale Programmierung (S)
185.209	Fortgeschrittene logikorientierte Programmierung (W+S)
185.211	Fortgeschrittene objektorientierte Programmierung (S)
185.346	From Domains to Requirements (SS 2010)
185.A03	Funktionale Programmierung (W)
185.A02	Grundlagen der Programmkonstruktion (W)
185.A12	Logikprogrammierung und Constraints (W+S)
185.A01	Objektorientierte Programmiertechniken (W)
185.A04	Optimierende Übersetzer (W)
185.A75	Peer-to-Peer Systems (S)
185.A51	Programming Principles of Mobile Robotics (S)
185.208	Programmiersprachen (S)
	Programminvertierung und Reversibles Rechnen (SS 2008, SS 2011)
185.307	Seminar aus Programmiersprachen (Raab, S)
185.210	Stackbasierte Sprachen (AK.d.Prakt.Inf.3, W)
185.206	Typsysteme (W)
185.311	Übersetzerbau VL (S)
185.A64	Übersetzer für Parallele Systeme (S)
185.323	Verifikation von Übersetzern (SS 2008, SS 2009, SS 2011)
185.226	Verteiltes Progr. mit Space Based Computing Middleware VL (W+S)
185.274	Weiterführender Übersetzerbau VO (S)
	Wissenschaftliche Methodik (S)
185.A15	Wissenschaftliches Arbeiten (W+S)
185.A16	Bachelorarbeit für Informatik und Wirtschaftsinformatik (W+S)
185.A18	Praktikum Techniche Informatik (W+S)
185.253	Seminar für DiplomantInnen (W+S)
185.A19	Seminar für DissertantInnen (W+S)
185.A20	Projekt aus Software Engineering & Internet Computing (W+S)
185.A22	Seminar aus Übersetzerbau (W+S)
185.A28	Project in Computer Science 1 (W+S)
185.A29	Project in Computer Science 2 (W+S)
185.A30	Projekt Medizinische Informatik (W+S)
185.A31	Embedded Systems Engineering Projektarbeit (W+S)
185.A32	Embedded Systems Engineering Scientific Project (W+S)
185.A35	Creativity and Ideas (W+S)
185.A21	Seminar aus Programmiersprachen (S)

Praktika, Diplomarbeiten, Magisterarbeiten: Wir bieten individuell auf unsere Studierenden abgestimmte Praktika an und betreuen Diplom- und Magisterarbeiten sowie Dissertationen. Die ProfessorInnen, DozentInnen und AssistentInnen der Complang-Gruppe beraten gerne bei der Themenwahl.

Themenvorschläge für Praktika, Diplom- und Magisterarbeiten:
Allgemeine Suchmaschine und konkrete Themen im Bereich Space Based Computing.

ProfessorInnen, DozentInnen und AssistentInnen

Anrechenbarkeit:

Die meisten unserer Lehrveranstaltungen sind als Pflicht- und Wahlfächer in den Studienplänen der Diplom-, Bachelor- und Masterstudien im Bereich der Fakultät für Informatik vorgesehen.

Studienangebot an der Fakultät für Informatik