Emily Yu Universitair docent ai verification automated reasoning hardware verification neural control safe ai Naam Dr. Z. Yu Telefoon 071 5272727 E-mail z.yu@liacs.leidenuniv.nl Universitair docent Wiskunde en Natuurwetenschappen Leiden Inst of Advanced Computer Science Werkadres Gorlaeus Gebouw Einsteinweg 55 2333 CC Leiden Contact 071 5272727 z.yu@liacs.leidenuniv.nl Geen relevante nevenwerkzaamheden Delen op Facebook Delen via Bluesky Delen op LinkedIn Delen via WhatsApp Delen via Mastodon