The Formal Methods, Software Engineering and Programming Languages research group strives to advance the software deveopment process by utilizing the principles and techniques from logic, mathematics, and interactive/automated theorem proving to ensure the correctness and security of software.
