Chuangjie Xu

is researching.

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

Fähigkeiten und Kenntnisse

Research and Development
Programming
Formal Verification
Static code analysis
Mathematical Logic
Communication skills
Java
C++

Werdegang

Berufserfahrung von Chuangjie Xu

  • Bis heute 4 Jahre, seit Apr. 2020

    Researcher in Software Safety and Security

    fortiss GmbH
  • 4 Jahre und 5 Monate, Nov. 2015 - März 2020

    Postdoctoral Researcher in Mathematical Logic

    LMU-München

Ausbildung von Chuangjie Xu

  • 2011 - 2015

    Computer Science

    University of Birmingham

Sprachen

  • Deutsch

    Grundlagen

  • Englisch

    Fließend

  • Chinesisch

    Muttersprache

Interessen

Badminton
Meditation
Puzzles

21 Mio. XING Mitglieder, von A bis Z