Cas Widdershoven (Preferred)
Cas Widdershoven
Postdoc, Chinese Academy of Sciences, Chinese Academy of Sciences
- Joined January 2023
Names
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
PhD Advisor
Stefan Kiefer
2013 – 2016
Expertise
trustworthy AI
2022 – 2024
verification, probabilistic verification
2017 – 2022