Lehrstuhl für Angewandte Informatik

Forschungsgebiete

Prozessmodellierung und -verifikation mit Petri-Netzen, Verifikation von Informationssystemen.

Integration von Techniken der Softwarespezifikation.

Entwicklung von Online Services.

Benutzeradaptivität.

Internet und Multimedia, neue Medien in der Lehre.

Mitarbeiter

Michael Niedermeier

Bianca Gerstner