The Grainger College of Engineering
Electrical & Computer Engineering

Pranav Rajpal

Pranav Rajpal
Pranav Rajpal he/him/his
Graduate Student

Advisor

  • Madhusudan Parthasarathy

Research Areas

  • Formal methods and software verification

Recent Courses Taught

  • ECE 391 - Computer Systems Engineering