Emily Yu Assistant professor ai verification automated reasoning hardware verification neural control safe ai Name Dr. Z. Yu Telephone 071 5272727 E-mail z.yu@liacs.leidenuniv.nl Assistant professor Faculty of Science Leiden Inst of Advanced Computer Science Work address Gorlaeus Building Einsteinweg 55 2333 CC Leiden Contact 071 5272727 z.yu@liacs.leidenuniv.nl No relevant ancillary activities Share on Facebook Share by Bluesky Share on LinkedIn Share by WhatsApp Share by Mastodon