Yi Li bio photo

Yi Li

Associate Professor

College of Computing and Data Science (CCDS)
Nanyang Technological University (NTU)

Address: Block N4-02b-63
50 Nanyang Avenue, Singapore 639798
Phone: +65 6790 4287

Email Twitter LinkedIn GitHub Bitbucket Google Scholar ORCID

The Summer School Marktoberdorf 2015 is an intensive two-weeks course on Verification and Synthesis of Correct and Secure Systems. See local news coverage (in German): Informatiker aus aller Welt bei Summer School in Marktoberdorf.1

  1. I’m in the picture :-)