home · mobile · people · 

Sriram Sankaranarayanan

Assistant Professor

photo of Sriram Sankaranarayanan

Email:
Phone:
+1-303-492-6580
+1-303-492-2844 (FAX)
Office:
Engineering Center ECOT 624
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.
BTech, Indian Institute of Technology Kharagpur; MS, PhD, Stanford University
... curriculum vitae
Department of Computer Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
webmaster@cs.colorado.edu
www.cs.colorado.edu
May 5, 2012 (14:11)
XHTML 1.0/CSS2
©2012