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.


  • 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


  • 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