Emily Yu -

Registered user since Mon 16 Mar 2026

Name:Emily Yu

Country:Netherlands

Affiliation:Leiden University

Personal website: http://emilyyu.nl/

Contributions

2027

VMCAI

Committee Member in Program Committee within the VMCAI 2027-track

2026

Dutch Formal Methods Day

Author of Automated Verification with Certificates within the DFMD-track

FM

Author of Certifying Constraints in Hardware Model Checking within the Research Track-track
Author of Quantitative Monitoring of Signal First-Order Logic within the Research Track-track