Lehrprofessur für Informatik

Prof. Dr. Robert Lorenz

Aktuelles

- Anmeldung zu Informatik I, C-Programmierkurs und Synthese von Petrinetzen möglich
- Zweite Klausur zu Informatik II im SS 08 ist korrigiert. Noten können in LectureReg nachgeschaut werden. Klausureinsicht am Dienstag, 14.10., 10 Uhr, Raum 109 F.

Konferenzen und Workshops

- 30 th International Conferences on Application and Theory of Petri Nets and Other Models of Concurrency (ATPN) 2009, to be held in Paris
- 9th International Conference on Application of Concurrency to System Design (ACSD) 2009, to be held in Augsburg

DFG-Projekt SYNOPS

Das Projekt zieht zum 1. September hierher nach Augsburg um

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