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