Lehrprofessur für Informatik

Prof. Dr. Robert Lorenz

Aktuelles

• Erstsemesterbegrüßung: Montag, 17.10.2011, 10.00 - 11.30, Bau C, HS 1
• Beginn Informatik 1: Mittwoch, 19.10.2011
• Doppelter Abiturjahrgang: In den Semestern SS 11, WS 11/12 und SS 12 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 WS 11/12 werden diese Veranstaltungen von folgenden Lehrstühlen angeboten:
  • Lehrprofessur für Informatik (Prof. Lorenz): Informatik I, Programmierkurs in C, Programmierkurs in Java
  • Lehrstuhl für Programmierung verteilter Systeme (Prof. Bauer): Informatik II
  Bitte informieren Sie sich auf den Webseiten dieser Lehrstühle über die Teilnahmemodalitäten.
• STUDIS-Anmeldezeitraum für die WS 11/12 - Prüfungen in Informatik I / Programmierkurs in C / Programmierkurs in Java / Seminar zu Nebenläufigen Systemen / Seminar zu Grundlagen der Sprachverarbeitung / Seminar zu Strukturiertem Pogrammieren: 9.1. - 19.1.2012.

Anmeldemodalitäten zum Übungsbetrieb Informatik I im WS 11/12

• Studenten, die die Veranstaltung bereits besucht haben, müssen nicht (können aber) am Übungsbetrieb teilnehmen.
• Diejenigen, die nicht nochmal teilnehmen wollen, melden sich in der Wiederholergruppe an (diese dient der Verwaltung, es sind keine Übungstermine damit verbunden). Bonuspunkte aus vorigen Semestern werden beibehalten
• Lehrämtler, die nicht am Übungsbetrieb teilnehmen wollen, melden sich bitte in der Lehramtsgruppe an (diese dient der Verwaltung, es sind keine Übungstermine damit verbunden).
• Studenten, die nochmal teilnehmen wollen, müssen sich vorregistrieren (siehe unten).
• Vorregistrierung:
• In Lecturereg in der Vorregistrierungsgruppe anmelden (ab 17.10. bis zum 27.10.2011, 24.00 Uhr)
• 3 Wunsch-Übungsgruppen-Termine auswählen auf einer Extra-Prioritätenseite, die hier erreichbar ist (ab 17.10. bis zum 27.10., 24.00 Uhr).
• Jeder wird dann bis zum 31.10. durch ein Optimierungsverfahren auf eine Übungsgruppe verteilt (Achtung!: Nur wer bei beiden obigen Punkten Angaben macht, wird berücksichtigt!)

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