Emily Yu

Postdoc, Thomas Henzinger Group, Institute of Science and Technology

  • Joined May 2024

Names

Emily Yu (Preferred)

Emails

****@ist.ac.at (Confirmed)
,
****@gmail.com (Confirmed)

Personal Links

Career & Education History

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

Postdoc Advisor
2023 – Present
 
Coauthor
2020 – 2024
 
PhD Advisor
2019 – 2023
 
PhD Advisor
2019 – 2023
 

Expertise

Runtime monitoring, Neural control
2023 – Present
 
Model checking, Hardware verification, Formal verification, Multi-agent systems
2017 – Present