Lehrprofessur für Informatik

Prof. Dr. Robert Lorenz

Aktuelles

• Alle Informationen und Lehrmaterialien zu den Lehrveranstaltungen der Lehrprofessur für Informatik im SS 13: Digicampus
• Lecturereg: wird seit SS 12 nicht mehr benutzt!
• Erstsemesterbegrüßung: Montag 15.04.2013 oder Dienstag 16.04.2013, Uhrzeit wird noch bekannt gegeben, 2045 N
• Beginn Informatik II: Dienstag 16.04.2013, 10:00 Uhr, HS I / Bau C
• STUDIS-Anmeldezeitraum für Informatik I im SS 13 (Nachklausur): 20.03.2013 (ab 12:00 Uhr) bis 26.03.2013 (bis 12:00 Uhr).

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