Theoretical Computer Science

Research Areas

  • algorithms and data structures
  • computability and complexity
  • formal languages, grammars and automata
  • formal methods of software engineering
  • logic, theorem proving and verification
  • programming language concepts and compilers
  • semantics of programs and specifications

Students

Contact us

Walter Guttmann

Associate Professor
Jack Erskine 300
Internal Phone: 92451

Kourosh Neshatian

Senior Lecturer Above the Bar
Jack Erskine 212
Internal Phone: 92455