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

