Topics

Declarative programming
Concurrency
Hardware and software verification
Model checking
Security
Theorem proving

Faculty & Researchers

Faculty & Researchers
Affiliated & Emeritus
Assistant Professor
Associate Professor
Associate Professor
Professor
Professor
Lecturer
Professor Emeritus
Professor Emeritus
Professor Emeritus
Professor Emeritus
Associate Professor Cockrell Family Dean's Chair for Engineering Excellence

  • Find an Expert

    Journalists seeking an academic to provide expert comment or background briefing on a story should contact our marketing & communications team.

  • Staci Norman

    Staci Norman

    Marketing Manager, Art Direction & Brand Management

    marcomm@cs.utexas.edu