Chentian Wu

Chentian Wu
Chentian Wu
Graduate Student
462 Coordinated Science Laboratory

Research Areas

  • Formal methods and software verification
  • Programming languages