Chuangjie Xu
Angestellt, Researcher in Software Safety and Security, fortiss GmbH
Munich, Deutschland
Über mich
My work aims at transferring foundational ideas from Mathematical Logic into concrete applications in various sectors of Computer Science, especially in formal techniques for Safety and Security. Theorem Provers | Static Analysis | Runtime Verification
Werdegang
Berufserfahrung von Chuangjie Xu
Bis heute 4 Jahre und 3 Monate, seit Apr. 2020
Researcher in Software Safety and Security
fortiss GmbH
Ausbildung von Chuangjie Xu
2011 - 2015
Computer Science
University of Birmingham
Sprachen
Deutsch
Grundlagen
Englisch
Fließend
Chinesisch
Muttersprache