Sriram Sankaranarayanan
Assistant Professor
|
Email:
|
|
|
Phone:
|
|
|
Office:
|
|
|
Hours:
|
by appointment
|
|
WWW:
|
|
Theory
Mathematical Theory of Computation
Formal Methods
Software
Programming Languages and Compilers
Verification, specification and modeling of systems; embedded, real time, concurrent and hybrid systems; constraint solving, optimization and decision procedures; automata, programming language theory and logic.
