Fanqi Yu

Working in the areas of computer systems and formal verification.

Co-advised by Prof. Jason Nieh and Prof. Ronghui Gu.

This page was last updated on November 24, 2022.


Columbia University
New York, NY, United States
Sep. 2022 - Present
PhD in Computer Science
Fudan University
Shanghai, China
Sep. 2018 - Jun. 2022
Bachelor of Computer Science


Polyhedral Compiler
Advisors: Prof. Li Shang, Prof. Fan Yang, Prof. Robert Dick · Fudan U & U of Michigan
Jul. 2021 - Jun. 2022
  • Study of how the polyhedral scheduler formulates programs as special integer linear programs (ILPs) in order to achieve automatic scheduling
  • Analysis of how such special ILPs can be converted into standard ILPs solvable by off-the-shelf solvers
  • Comparison between ILP solving algorithms used in the ISL polyhedral scheduler and off-the-shelf solvers
Trusted Execution Environment (TEE)
Advisor: Prof. Li Shang · Fudan University
Nov. 2020 - Apr. 2021
  • TEE-empowered computer systems research, system porting and prototyping using Keystone + RISC-V
  • Booting RocketChip + Linux on our Xilinx FPGA
  • Porting and verification of Keystone TEE on our system, based on its support for RISC-V QEMU
"Vanilla" CPU
Github repository · Fudan University
Jul. 2020 - Aug. 2020
  • Design and implementation of dual-issue MIPS32 CPU using SystemVerilog
  • Memory hierarchy design and optimization (~30x faster) with great compatibility
  • FPGA-based implementation and verification
  • Second Prize of the NSCSCC Contest (National CPU Design Contest, 2020)
  • More…