Carmen Carlan
Studentin, Informatik, Technische Universität München
München, Deutschland
Werdegang
Berufserfahrung von Carmen Carlan
Bis heute 2 Jahre und 6 Monate, seit Jan. 2022
Director of Safety Products
Edge Case Research GmbH
6 Jahre und 5 Monate, Aug. 2015 - Dez. 2021
Wissenschaftliche Mitarbeiterin
fortiss
3 Monate, März 2013 - Mai 2013
External research associate
University of York
Working on integrated model-based Safety Cases, in the High Integrity Systems Engineering research group.
Ausbildung von Carmen Carlan
Bis heute 6 Jahre und 8 Monate, seit Nov. 2017
Informatik
Technische Universität München
My research is concerned with streamlining and automating safety assurance workflows by using model-driven engineering and formal methods. My tool for specification, verification and assurance of critical systems.: https://sites.google.com/site/fastenroot/features/
2012 - 2014
Informatik
Technische Informatik München
Software Engineering, Computer Architecture, Formal Methods
2009 - 2012
Informatik
TUM
Sprachen
Deutsch
Fließend
Englisch
Fließend
Rumänisch
Muttersprache