Formal Methods & Programming Languages
Using mathematics to assist with the specification, design, implementation, and verification of computing systems and languages. Texas Computing researchers are developing techniques and tools that are transforming the way software and systems are developed.
Featured Research
Intelligent Software Systems Group
Building intelligent software systems for automatically enhancing the efficiency and survivability of programs, thereby enabling applications programmers to focus on high-level algorithmic issues.
Autonomous Systems Group
Studies the theoretical and algorithmic aspects of design and verification of autonomous systems.The group embraces the fact that autonomy does not fit traditional disciplinary boundaries, and has made numerous contributions in the intersection of formal methods, controls and learning
UTOPIA Research Group
Developing novel techniques and tools to transform the way software is developed. The group's research in program analysis and verification aims to uncover subtle bugs and security vulnerabilities in software.