M.Sc.
Sudeep Kanav

Model-based systems Engineering · Staff Researcher
Telefon
+49 89 3603522 35

Sudeep Kanav studierte Informatik (M.Sc.) an der TU München mit Fokus auf Theorem Proving. Seit 2016 ist er wissenschaftliche Mitarbeiter am fortiss im Kompetenzfeld „Model-based systems Engineering“.Seine Forschungsinteressen sind formelle Verifikation, modell-basierte Entwicklung und Model-to-Model Transformation.