The Grainger College of Engineering
Electrical & Computer Engineering

Chentian Wu

Chentian Wu
Chentian Wu
Graduate Student

Research Areas

  • Formal methods and software verification
  • Programming languages