Emily Yu is universitair docent aan het Leiden Institute of Advanced Computer Science (LIACS) van de Universiteit Leiden. Haar onderzoek richt zich in grote lijnen op de ontwikkeling van formele methoden en geautomatiseerde redeneringstechnieken voor het bouwen van betrouwbare systemen.

Meer informatie over Emily Yu

Meer informatie op de Engelstalige pagina.