Cas Widdershoven

Joined
January 2023

Names

Cas Widdershoven (Preferred)

Emails

****@ios.ac.cn (Confirmed)

Personal Links

Career & Education History

Postdoc
Chinese Academy of Sciences, Chinese Academy of Sciences (ios.ac.cn)
2022 – 2024
PhD student
University of Oxford (ox.ac.uk)
2017 – 2022
MS student
University of Oxford (ox.ac.uk)
2016 – 2017

Advisors, Relations & Conflicts

Postdoc Advisor
Lijun Zhang
2022 – 2024
PhD Advisor
Stefan Kiefer
2013 – 2016

Expertise

trustworthy AI
2022 – 2024
verification
, 
probabilistic verification
2017 – 2022

Publications

Co-Authors