LI, Yi bio photo

LI, Yi

Assistant Professor

School of Computer Science and Engineering (SCSE)
Nanyang Technological University (NTU)

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

Email Twitter LinkedIn Github Bitbucket Google Scholar

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 :-)