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 \| quick links \| site map \| who's where \| cs a-z

· faculty · staff · students · alumni · phone directory · committees · academic advisors · student groups · advisory board · mail lists · who's where

· calendar · colloquia · mailing list · scheduling · defenses · bactac · department meetings · lecture series · cats · tabbs

· catalog · class schedules · spring 2012 · summer 2012 · fall 2012 · prerequisites · web pages · coordinators · caete online classes · fcqs · ta awards · defunct

· bs degree · requirements · foundation and core · tracks · advising · degree audits · concurrent bs/ms degree · minor · senior project · senior thesis · co-ops and internships · inspirational teachers · forms · faqs · prospective student guide · continuous improvement policy · why computer science?

· ms degree · me degree · phd degree · admissions · forms · financial aid · housing · incoming phd guide · grad student handbook · prospective student guide · why computer science?

· Center for Computational Pharmacology (CCP) · Center for Lifelong Learning and Design (L3D) · Colorado Computer Systems Research (CCSR) · Computational Language and Education Research (CLEAR) · Computational Science and Engineering Research Group · ConnectivITy Lab · Database Research Group · Intelligence in Action Lab · MultimodAl NeTworks of In-situ Sensors (MANTIS) · Neural and Statistical Computation Research Group · Protein Folding by Global Optimization · Robotics and Smart Materials · Scalable Game Design · Software Engineering Research Laboratory (SERL) · TerraSpark Geosciences · Tool-Supported Programming Languages Curriculum · Translator Construction (Eli) · University of Colorado Policy Lab (UCPL) · Wellness Innovation and Interaction Lab (WII)

· site map · a to z · who's where · site outline · hot links · about the site · search

home · courses ·

CSCI 7154. Topics in Theory of Computation

CSCI 7154 (3). Topics in Theory of Computation.

Selected topics of current interest in theory of computation. Prerequisites: Consent of instructor.

CU Catalog:

Coordinator: Michael Main

This course has the following variants:

CSCI 7154. Complexity of Computations

CSCI 7154. Data Structures

CSCI 7154. Foundations of Cyber Physical Systems

CSCI 7154. Genetics

CSCI 7154. Natural Computing

CSCI 7154. Readings in Formal Methods

CSCI 7154. Research Problems in Theoretical Computer Science

CSCI 7154. Software Engineering Theory

CSCI 7154 (1).	Topics in Theory of Computation: Readings in Formal Methods
Fall 2012	sec. 001	23306	20	ICAL		03:30pm-04:20pm	T	ECCR 1B08	Sriram 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

©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks

May 5, 2012 (13:10)