Lehrprofessur für Informatik

Prof. Dr. Robert Lorenz

Aktuelles

• Alle Informationen und Lehrmaterialien zu den Lehrveranstaltungen der Lehrprofessur für Informatik im SS 12: Digicampus
• Lecturereg: wird ab SS 12 nicht mehr benutzt!
• Erstsemesterbegrüßung Bachelor: Dienstag, 17.4.2012, 15.45 - 17.15, 1002 Physik
• Erstsemesterbegrüßung Master: Donnerstag, 19.4.2012, 15.45 - 17.15, 2045 N
• Beginn Informatik 2: Dienstag, 17.4.2012
• STUDIS-Anmeldezeitraum für die SS 12 - Prüfungen in Informatik I / Informatik II / Programmierkurs in C / Programmierkurs in Java: 14.6. - 22.6.2012.
• Doppelter Abiturjahrgang: SS 12 und WS 12/13 werden folgende Veranstaltung jedes Semester angeboten, um jedes Semester einen Studienbeginn zu ermöglichen: Informatik I, Informatik II, Programmierkurs in C, Programmierkurs in Java.
• Im SS 12 werden diese Veranstaltungen von folgenden Lehrstühlen angeboten:
  • Lehrprofessur für Informatik (Prof. Lorenz): Informatik II, Programmierkurs in C, Programmierkurs in Java
  • Lehrstuhl für Systemnahe Informatik und Kommunikationssysteme (Prof. Ungerer): Informatik I
  Bitte informieren Sie sich auf den Webseiten dieser Lehrstühle über die Teilnahmemodalitäten.

DFG-Projekt SYNOPS

Lehre

Grundstudium

- Wintersemester: Informatik I (Problem-Algorithmus-Programm, Programmieren in C), Programmierkurs in C
- Sommersemester: Informatik II (Objektorientierter Softwareentwurf mit UML und Java), Programmierkurs in Java

Hauptstudium

- Vorlesungen und Seminare zu Nebenläufigkeitstheorie, Petrinetzen, Modelchecking, Synthese

Forschungsinteressen

- Petrinetze
- Synthese von Systemmodellen aus Verhaltensbeschreibungen
- Nebenläufigkeitstheorie
- Semantiken nebenläufiger Systeme
- Halbordnungsbasiertes Modelchecking
- Workflow-Mining
- Diagnosesysteme
- Dialogsysteme
- Mobile Netzwerke