Sudeep Kanav

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

Sudeep Kanav studied computer science (M.Sc.) at Technischen Universität München with focus on theorem proving. Since 2016 he is research associate at fortiss in the competence field "Model Based Systems Engineering". His research interests are formal verification, model based system development, and model to model transformations.