The SSIG group works on software innovations, with an emphasis on (light-weight) formal verification, testing and security. SSIG

SSIG Staff Members

Sreeranga P. Rajan (PhD, IEEE fellow)

Indradeep Ghosh (PhD)

Praveen Murthy (PhD)

Mukul Prasad (PhD)

Guodong Li (PhD)

Arnab Roy (PhD)

Hiroaki Yoshida (PhD)

Avradip Mandal (PhD)

Peng Li (PhD)

Hart Montgomery (PhD)