# Cas Widdershoven's Homepage

**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

- 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