I am interested broadly in formal methods, programming languages, software engineering
and information security.
Coordinate
Research Assistant Professor
Room: I-51, JAIST
Phone: +81-761-51-1279
E-mail: li-xin at jaist.ac.jp
Postal Mailing Address:
Xin Li
School of Information Science
Japan Advanced Institute of Science and Technology
1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan