Xinyu Feng  （冯新宇）

Professor
School of Computer Science
Nanjing University


Contact:
163 Xianlin Road
Nanjing, Jiangsu 210023, China
Email: xyfeng AT nju DOT edu DOT cn



Research

I work on Programming Languages and Formal Program Verification.

See the PLaX group at Nanjing University.

I also work on Cangjie.


Teaching

  1. 25011490, Design and Implementation of Programming Languages, Fall, 2025.
  2. 22000130, Structure and Interpretation of Computer Programs, Fall, 2025.
  3. 22000130, Structure and Interpretation of Computer Programs, Fall 2019, 2020, 2021, 2022, 2023, 2024.
  4. 22011510, Formal Semantics of Programming Languages, Fall 2018.
  5. 011167 Foundations of Programming Languages, Spring 2013, 2014, 2015, 2016, 2017.
  6. 011M0701 Frontier of Research on High-Confidence Software, Summer 2012.
  7. CS05115 Theories of Programming Languages, Fall 2011, 2012, 2013, Spring 2015, 2016, 2017.

Xinyu Feng
Last modified: Mon Sep 15, 2025