Dr. Sudarshan Srinivasan

Personal site

Research interests:

  • Computer Engineering
  • Formal Verification
  • Embedded Systems

 

Top of page