Cas Widdershoven's Homepage

Contact

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.

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

Renjue Li, Tianhang Qin, Cas Widdershoven: ISS-Scenario: Scenario-based Testing in CARLA. In Theoretical Aspects of Software Engineering - 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings, volume 14777 of Lecture Notes in Computer Science, pages 279-286, 2024. DOI BIB
Xinyu Luo, Christopher Musco, Cas Widdershoven: Dimensionality Reduction for General KDE Mode Finding. In International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA, volume 202 of Proceedings of Machine Learning Research, pages 23067-23082, 2023. URL BIB
Stefan Kiefer, Pavel Semukhin, Cas Widdershoven: Linear-Time Model Checking Branching Processes. In 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference, volume 203 of LIPIcs, pages 6:1-6:16, 2021. DOI BIB
Stefan Kiefer, Cas Widdershoven: Image-Binary Automata. In Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings, volume 13037 of Lecture Notes in Computer Science, pages 176-187, 2021. DOI BIB
Stefan Kiefer, Cas Widdershoven: Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques. In 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany, volume 138 of LIPIcs, pages 82:1-82:13, 2019. DOI BIB