Formal Methods Formal methods uses mathematical techniques to assist with specification, design, implementation, and verification to make hardware and software systems more reliable. Topics Faculty & Researchers Centers & Labs Topics Declarative programmingConcurrencyHardware and software verificationModel checkingSecurityTheorem proving Faculty & Researchers Faculty & Researchers Affiliated & Emeritus Venkat ArunAssistant Professor James BornholtAssistant Professor Swarat ChaudhuriProfessor Işıl DilligProfessor Warren Hunt Jr. Professor Ken McMillanProfessor Margaret MyersLecturer Don Batory Professor Emeritus E. Allen EmersonProfessor Emeritus Vladimir LifschitzProfessor Emeritus Jayadev MisraProfessor Emeritus Ufuk TopcuAssociate Professor Cockrell Family Dean's Chair for Engineering Excellence Centers & Labs The Mechanized Theorem Proving Group 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 Marketing Manager, Art Direction & Brand Management marcomm@cs.utexas.edu