Prof. Dr. Moritz Sinn

Fachbereich Elektrotechnik und Informatik

Stegerwaldstraße 39, 48565 Steinfurt, Raum: D223

Tel: 02551 9-62877

moritz.sinnfh-muensterde

Arbeitsgebiete

Programmanalyse
Programmverifikation

Lehre

Theoretische Informatik (Bachelor)
Software-Zuverlässigkeit (Bachelor)
Programmanalyse (Master)
Formale Methoden (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 und die Möglichkeit zum Widerruf finden Sie in unserer Datenschutzerklärung.

Seite drucken