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)
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)
	Grundlagen methodischen Arbeitens (W+S)
185.A12	Logikprogrammierung und Constraints (W+S)
185.A01	Objektorientierte Programmiertechniken (W)
185.A04	Optimierende Übersetzer (W)
185.A51	Programming Principles of Mobile Robotics (S)
185.208	Programmiersprachen (S)
	Programminvertierung und Reversibles Rechnen (SS 2008, SS 2011)
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 DioplomantInnen (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 (W)
185.A21	Seminar aus Programmiersprachen (S)
185.210	Stackbasierte Sprachen (AK.d.Prakt.Inf.3, W)
185.206	Typsysteme (W)
185.311	Übersetzerbau VL (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)

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 Magisterstudien im Bereich der Fakultät für Informatik vorgesehen.

Lehre an der Fakultät für Informatik

Studien der Informatik

Wirtschaftsinformatik

Lehramt Informatik und Informatikmanagement

Doktoratsstudium der technischen Wissenschaften