Contact

• email:cas.widdershoven###ios**ac*cn

About me

• I am a postdoctoral researcher at ISCAS. Together with Lijun Zhang I study trustworthy AI, in particular in the context of self-driving cars.
•  My research interests lie in verification and formal methods. My PhD was on verification and automata theory, and I aim to use verification practices to create trustworthy AI systems.

Education

• 2017-2022 Oxford university: PhD in computer science, Unambiguous and finitely ambiguous automata
• 2016-2017 Oxford university: MSc in Mathematics and Foundations Of Computer Science
• 2013-2016 Utrecht university: BSc in Mathematics
• 2013-2016 Utrecht university: BSc in Computer Science
  

Publications

• Image-Binary Automata, Kiefer, S. and Widdershoven, C. in DCFS 2021
• Linear-Time Model Checking Branching Processes, Kiefer, S., Semukhin, P., and Widdershoven, C. in CONCUR 2021
• Efficient Analysis of Unambiguous Automata using Matrix Semigroup Techniques, Kiefer, S. and Widdershoven, C. in MFCS 2019