Emily Yu (Preferred)
Emily Yu
Assistant Professor, Leiden Institute of Advanced Computer Science, Leiden University
Postdoc, Thomas Henzinger Group, Institute of Science and Technology
- Joined May 2024
Names
Emails
****@ist.ac.at (Confirmed)
, ****@gmail.com (Confirmed)
, ****@liacs.leidenuniv.nl (Confirmed)
Personal Links
Career & Education History
Assistant Professor
Leiden Institute of Advanced Computer Science, Leiden University (liacs.leidenuniv.nl)
2025 – Present
Postdoc
Thomas Henzinger Group, Institute of Science and Technology (ist.ac.at)
2023 – 2025
PhD student
Institute for Formal Models and Verification, Johannes Kepler Universität Linz (jku.at)
2019 – 2023
Undergrad student
Department of Computing, Imperial College London (imperial.ac.uk)
2014 – 2018
Advisors, Relations & Conflicts
Expertise
Runtime monitoring, Neural control
2023 – Present
Model checking, Hardware verification, Formal verification, Multi-agent systems
2017 – Present