Theoretical Computer Science group - Computer Science and Software Engineering - University of Canterbury - New Zealand

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

People

Students

  • Sean Welsh, PhD in Philosophy, ongoing
    Moral Code: Programming the Ethical Robot
    Supervisors: Jack Copeland, Michael-John Turp, Christoph Bartneck and Walter Guttmann
  • Logan Glasson, research project for BSc(Hons) in Computer Science, ongoing
    Lazy Execution in Imperative Languages
    Supervisor: Walter Guttmann

Graduates

  • Phone: +64 3 364 2362
    Fax: +64 3 364 2569
    admin@cosc.canterbury.ac.nz
  • Computer Science and Software Engineering
    University of Canterbury
    Private Bag 4800, Christchurch
    New Zealand
  • Follow us
    FacebookYoutubetwitterLinked In