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 (iss) group

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.