Scholar
Emily Yu
Google Scholar ID: SGaveVMAAAAJ
Assistant Professor, Leiden University
Citations & Impact
Citations
103
H-index
5
i10-index
3
Publications
20
Co-authors
14
list available
Publications
Resume (English only)
Academic Achievements
- Paper “Introducing Certificates to the Hardware Model Checking Competition” received the Distinguished Paper Award at CAV; Paper “Formal Verification of Neural Certificates Done Dynamically” was accepted to RV 2025; Paper “Logic Gate Neural Networks are Good for Verification” received the DARPA award at NeuS; Got the FWF Esprit fellowship from the Austrian Science Fund; Will be attending CAV’25 this summer.
Research Experience
- Currently an assistant professor in Computer Science at Leiden University, Netherlands; Previously a postdoctoral researcher in Prof. Thomas Henzinger's group at the Institute of Science and Technology Austria.
Education
- PhD: Logical Methods in Computer Science (LogiCS) doctoral program, funded by FWF, LIT AI Lab at Johannes Kepler University Linz, supervised by Prof. Armin Biere; BSc: Department of Computing, Imperial College London, UK, advised by Prof. Alessio Lomuscio.
Background
- Research interests include system verification, model checking and certification techniques, hardware verification using SAT-based methods, formal reasoning in multi-agent systems, trustworthy AI and safe autonomy, runtime monitoring for learning-enabled systems, formal verification of neural policies and certificates, theoretical and practical analysis of neural networks in isolation.
Miscellany
- Looking to recruit Ph.D. students and happy to discuss about CSC scholarships.
