Xinyu Feng

Professor
School of Computer Science and Technology
University of Science and Technology of China


Contact:
188 Ren Ai Road
Suzhou Institute for Advanced Study
University of Science and Technology of China
Suzhou, Jiangsu 215123, China
       
Phone:
Fax:
Email:
 
+86-512-87161319
+86-512-87161319
xyfeng AT ustc DOT edu DOT cn



News and Events

  1. Lab Introduction (in Chinese), for students who are interested in joining our lab.

  2. Faculty and post-doc positions at USTC-Yale Joint Research Center for High-Confidence Software.

Research

My research interests are in the area of programming languages and formal methods. In particular, I am interested in developing theories, programming languages and tools to build formally certified system software, with rigorous guarantees of safety and correctness.

Here is my CV.


Teaching

  1. Spring, 2015. 011167, Foundations of Programming Languages
  2. Spring, 2015. CS05115, Theories of Programming Languages
  3. Spring, 2014. 011167, Foundations of Programming Languages
  4. Fall, 2013. CS05115, Theories of Programming Languages
  5. Spring, 2013. 011167, Foundations of Programming Languages
  6. Fall, 2012. CS05115, Theories of Programming Languages
  7. Summer, 2012. 011M0701, Frontier of Research on High-Confidence Software
  8. Fall, 2011. CS05115, Theories of Programming Languages

Professional Activities
APLAS'15,     WWV'15,     ICPP'15,     ITP'15,     ICALP'15,     POPL'15 (ERC),     TASE'14,     LOLA'13,     POPL'13,     CPP'12,     ICTAC'12,     TASE'12,     2012 Open64 Workshop,     APLAS'11,     LOLA'11,     TASE'09,     APLAS'08

Publications
See my publication list at DBLP.

Links

USTC-Yale Joint Research Center for High-Confidence Software

ACM Digital Library      IEEE Xplore      Merriam-Webster Online      Programming Language Theory Text Online

The Coq Proof Assistant

more...


Xinyu Feng
Last modified: Tuesday March 3, 2015