skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home · people · 
 

Sriram Sankaranarayanan

 
CU
430 UCB
Boulder, CO 80309-0430 USA
+1-303-492-6580
+1-303-492-2844 (FAX)
office: Engineering Center ECOT 624
office hours: by appointment
email: email
vCard: vCard
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
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.
CSCI 2824 (3).Discrete Structures
Spring 2012sec. 0011117670ICAL 10:00am-10:50amMWFFLMG 156Sriram Sankaranarayanan
Spring 2013sec. 001TBD70ICAL 10:00am-10:50amMWFTBDSriram Sankaranarayanan
CSCI 4830 (3).Special Topics in Computer Science: Automata for Cyber Physical Systems
Fall 2012sec. 0022603534ICAL 11:00am-12:15pmTRECEE 283Sriram Sankaranarayanan
  Taught jointly with CSCI 7000-002.
CSCI 5654 (3).Linear Programming
Fall 2011sec. 0012486994ICAL 09:30am-10:45amTRECCS 1B12Sriram Sankaranarayanan
  Offered through CAETE.
CSCI 7000 (3).Current Topics in Computer Science: Automata for Cyber Physical Systems
Fall 2012sec. 0022332934ICAL 11:00am-12:15pmTRECEE 283Sriram Sankaranarayanan
  Taught jointly with CSCI 4830-002.
CSCI 7154 (1).Topics in Theory of Computation: Readings in Formal Methods
Fall 2012sec. 0012330620ICAL 03:30pm-04:20pmTECCR 1B08Sriram Sankaranarayanan
 
See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado 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 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks
May 5, 2012 (13:02)
 
.