+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.