Dawei Sun

Electrical and Computer Engineering
Dawei Sun
Graduate Student
247 Coordinated Science Lab MC 228
1308 W. Main St.
Urbana Illinois 61801
Research Assistant

Primary Research Area

  • Reliable and secure systems - Formal methods and software verification

Profile

Research Areas

  • Formal methods and software verification