skip to main content
cu: home | engineering | cuconnect | explore cu | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home | quick links | site map | who's where | cs a-z
people events courses undergraduate graduate research department site
home · people · 
 

Sriram Sankaranarayanan
 
CU
University of Colorado at Boulder
Department of Computer Science
430 UCB
Boulder, CO 80309-0430 USA
+1-303-492-6580
+1-303-492-2844 (FAX)
office: Engineering Center ECOT 624
office hours: TF 2:00pm-3:00pm in ECOT 831
email: email
www: www.cs.colorado.edu/~srirams
Sriram Sankaranarayanan
Assistant Professor
Theory
Mathematical Theory of Computation
Formal Methods
Software
Programming Languages and Compilers
photo of Sriram Sankaranarayanan
... curriculum vitae
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
CSCI 4830 (3).Special Topics in Computer Science: Automata for Cyber Physical Systems
Spring 2010sec. 0072539629ICALPLUS05:00pm-06:15pmMWECCR 139Sriram Sankaranarayanan
  Taught jointly with CSCI 7000-007. See course page.
CSCI 5654 (3).Linear Programming
Fall 2009sec. 001859919ICALPLUS05:30pm-06:45pmMWECCR 116Sriram Sankaranarayanan
   See course page.
CSCI 7000 (3).Current Topics in Computer Science: Automata for Cyber Physical Systems
Spring 2010sec. 0072539729ICALPLUS05:00pm-06:15pmMWECCR 139Sriram Sankaranarayanan
  Possibly offered through CAETE. Taught jointly with CSCI 4830-007. See course page.
  
See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado at Boulder
Boulder, CO 80309-0430 USA 		Questions/Comments?
Send email to

 Engineering Center Office Tower
ECOT 717
+1-303-492-7514
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2009 November 23, 2009 (00:08)
 
.