Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Emily Yu
conf.researchr.org general profile
DFMD 2026 profile
FM 2026 profile
Registered user since Mon 16 Mar 2026
Name:
Emily Yu
Country:
Netherlands
Affiliation:
Leiden University
Personal website:
http://emilyyu.nl/
Contributions
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
Share
x
Wed 24 Jun 10:37
