Lavin Rajesh Devnani

Electrical and Computer Engineering
Lavin Rajesh Devnani
Graduate Student
258 Coordinated Science Lab MC 228
1308 W. Main St.
Urbana Illinois 61801
Teaching Assistant

Profile

Research Areas

  • Formal methods and software verification