Prof. Dr. Moritz Sinn

Fachbereich Elektrotechnik und Informatik

Stegerwaldstraße 39, 48565 Steinfurt, Raum: D223

Tel: 02551 9-62877

moritz.sinnfh-muensterde

Lehr- und Forschungsgebiet: Programmanalyse, Programmverifikation

Arbeitsgebiete

Programmanalyse
Programmverifikation

Lehre

Theoretische Informatik (Bachelor)
Software-Zuverlässigkeit (Bachelor)
Programmanalyse (Master)

Weitere Informationen

Labor für Softwareverifikation

Um unsere Webseite für Sie optimal zu gestalten und fortlaufend verbessern zu können, verwenden wir Cookies. Weitere Informationen finden Sie in unserer Datenschutzerklärung.

Seite drucken