Calvin Chau

Calvin Chau is a researcher affiliated with the Faculty of Computer Science at Technische University Dresden, specializing in the International Center for Computational Logic (ICCL). His work focuses on algebraic and logical foundations of computer science, with contributions to formal verification and neural network abstraction.

His research interests include:

• Algebraic Foundations
• Computational Logic
• Formal Methods
• Artificial Intelligence
• Quantitative Verification

Calvin has published in prestigious venues such as QEST+FORMATS and ATVA, addressing challenges in Markov decision processes and neural network verification. He is involved in the SEMECO-Q1 project, focusing on secure medical microsystems and communication architectures. His recent publications emphasize:

• Multi-objective optimization in probabilistic systems
• Abstraction-refinement techniques for neural networks
• Semantic vs. syntactic approaches to formal analysis

Calvin can be reached via email at calvin.chau@tu-dresden.de or in person at APB 3004.