Calvin Chau
I am a Ph.D. student at the Chair of Algebraic and Logical Foundations of Computer Science at TU Dresden, under the supervision of Prof. Christel Baier.
Prior to that, I obtained a B.Sc. and M.Sc. in Computer Science from the Technical University of Munich. I also interned at Apple in 2022, where I worked on increasing formal verification productivity.
My research interests include:- Probabilistic model checking
- Verification of neural networks
- Learning and optimization techniques in verification
I am serving as a member in the AE committee of QEST+FORMATS 2024.
Publications
2023
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks
Calvin Chau, Stefanie Mohr, and Jan Křetínský
ATVA
2020
SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks
Milan Češka, Calvin Chau, and Jan Křetínský
CAV
Talks
2023
Certificates for Multi-Objective Queries in Markov Decision Processes
ROCKS 2023
2023
Semantic Abstraction of Neural Networks
LiVe @ ETAPS 2023
Selected Projects
Teaching
Theoretical Computer Science (Undergraduate Seminar) |
Winter 2023 |
| TU Dresden | |
Discrete Probability Theory (Tutorial) |
Summer 2019 |
| Technical University of Munich | |
Introduction to Computer Architecture (Tutorial) |
Winter 2017 |
| Technical University of Munich | |
Education
Ph.D. in Theoretical Computer Science |
May 2023 - Now |
| TU Dresden | |
M.Sc. Computer Science |
April 2020 - March 2023 |
| Technical University of Munich | |
B.Sc. Computer Science |
October 2016 - March 2020 |
| Technical University of Munich | |