Skip to main content
Top Bar
About
News
UTCS Direct
Give
Search
Search
New Navigation
Research
Research Areas
Artificial Intelligence
Bioinformatics & Computational Biology
Computer Architecture
Computer Vision
Databases
Formal Methods
Graphics & Visualization
Human-Computer Interaction
Intelligent Robotics
Machine Learning
Natural Language Processing
Parallel Computing
Programming Languages & Compilers
Scientific Computing
Security & Privacy
Systems & Networking
Theoretical Computer Science
Centers & Labs
Corporate Collaboration
Research Seminars
Publications
Awards
People
Faculty & Researchers
Staff
Offices
Undergraduate
Degrees & Programs
Core Degrees
Interdisciplinary Degrees
X + CS Degrees
History
Linguistics
Neuroscience
Apply
Texas Robotics Program
Honors Degrees
Turing Scholars Honors Program
Texas Honors Computer Science & Business
BS+MS
Concentrations
Longhorn Startup
Certificate
Student Experience
Academic Advising
Student Support
Community & Organizations
Careers
Research Opportunities
Study Abroad
Apply
Cost & Aid
Graduate
Degrees & Programs
Research Degrees
Professional Degrees
Online Master’s in Computer Science
Online Master’s in Data Science
Online Master’s in Artificial Intelligence
Certificates
AI/ML Certificate
Robotics Portfolio Program
BS+MS
Student Experience
Graduate Advising
Student Support
Community & Organizations
Careers
Apply
Cost & Aid
Engage
Industry
Alumni
K-12 Outreach
Summer Academies
Academy for Game Development
Academy for iOS App Development
Academy for Machine Learning
Academy for Robotics
Academy for All
Academy for Women
Coding in the Classroom
Roadshow
Give
Advisory Council
About
News
UTCS Direct
Give
Research Areas
Artificial Intelligence
Bioinformatics & Computational Biology
Computer Architecture
Computer Vision
Databases
Formal Methods
Graphics & Visualization
Human-Computer Interaction
Intelligent Robotics
Machine Learning
Natural Language Processing
Parallel Computing
Programming Languages & Compilers
Scientific Computing
Security & Privacy
Systems & Networking
Theoretical Computer Science
Formal Methods
Home
Research
Research Areas
Formal Methods
Topics
Declarative programming
Concurrency
Hardware and software verification
Model checking
Security
Theorem proving
Faculty & Researchers
Faculty & Researchers
Affiliated & Emeritus
Venkat Arun
Assistant Professor
Swarat Chaudhuri
Professor
Işıl Dillig
Professor
Warren Hunt Jr.
Professor
Ken McMillan
Professor
Margaret Myers
Lecturer
Don Batory
Professor Emeritus
Vladimir Lifschitz
Professor Emeritus
Jayadev Misra
Professor Emeritus
Ufuk Topcu
Associate Professor Cockrell Family Dean's Chair for Engineering Excellence
Centers & Labs
The Mechanized Theorem Proving Group
