Emily Yu
Leiden Institute of Advanced Computer Science (LIACS), Universität Leiden, Niederlande.
Kontakt:
z.yu@liacs.leidenuniv.nl
Seit Oktober 2025 bin ich Tenure-Track-Professorin in Informatik an der Universität Leiden in den Niederlanden.
Zuvor war ich Postdoktorandin in der Gruppe von Prof. Thomas Henzinger am Institute of Science and Technology Austria. Ich habe im Doktoratsprogramm “Logical Methods in Computer Science” (LogiCS), gefördert durch den FWF, und am LIT AI Lab promoviert. Betreut wurde ich von Prof. Armin Biere an der Johannes Kepler Universität Linz in Österreich. Meine Dissertation beschäftigte sich mit Zertifizierung im Hardware Model Checking. Davor habe ich mein Bachelorstudium am Department of Computing des Imperial College London in Großbritannien abgeschlossen, wo ich von Prof. Alessio Lomuscio betreut wurde.
Forschung
Meine Forschung entwickelt formale Methoden und automatisierte Schlussfolgerungsverfahren für den Bau vertrauenswürdiger Systeme, mit Schwerpunkt auf sicherheitskritischer Hardware und lernbasierten autonomen Systemen. Aktuelle Themen sind:
Neuronale Regelung für sichere Autonomie
Ich arbeite an Methoden, die lernbasierte Regelungssysteme sicherer und vertrauenswürdiger machen, insbesondere durch neuronale Zertifikate, Laufzeitüberwachung und formale Garantien für autonome Systeme.
Forschungsthemen:
- Wie können wir neuronale Zertifikate synthetisieren, die formale Spezifikationen für gelernte Controller beweisen?
- Wie können Laufzeitmonitore formale Sicherheitsgarantien für lernbasierte autonome Systeme durchsetzen?
- Wie lassen sich formale Logik, Regelungstechnik und maschinelles Lernen zu praktischen Verifikationswerkzeugen verbinden?
Automatisiertes Schließen und Hardware Model Checking
Ich entwickle Zertifizierungs- und Verifikationstechniken für Hardware und solverbasierte Schlussfolgerung, darunter SAT-basiertes Model Checking, unabhängig prüfbare Zertifikate und vertrauenswürdige automatisierte Reasoning-Pipelines.
Forschungsthemen:
- Wie können Ergebnisse des Model Checkings für Hardware-Designs durch unabhängig prüfbare Zertifikate begleitet werden?
- Wie können wir Zertifikate nutzen, um LLMs auf Performanz und Effizienz zu optimieren, ohne Korrektheit und Sicherheit zu opfern?
- Wie kann automatisiertes Schließen auf komplexe sicherheitskritische Systeme skalieren, ohne Korrektheitsgarantien aufzugeben?
Sie finden meine Publikationen online oder erreichen mich per E-Mail.
news
| Jun 03, 2026 | Two papers accepted at FLOC 2026. Looking forward to seeing you in Lisbon! |
|---|---|
| Apr 21, 2026 | I will be giving a series of 6 lectures at the SETSS spring school 2026! |
| Apr 21, 2026 | I will be giving a keynote talk at the Dutch Formal Methods Day! |
| Feb 08, 2026 | Two papers accepted to FM 2026! |
| Nov 11, 2025 | Looking forward to give an invited talk at IEEE Women in Circuits and Systems – Young Professionals (WiCAS-YP) Symposium, which will be held on 26 November 2025, in Leiden. |