- Aktuell

- Suche

- Kontakt

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