The Formal Methods, Software Engineering and Programming Languages research group strives to advance the software development process by utilizing the principles and techniques from logic, mathematics, and interactive/automated theorem proving to ensure the correctness and security of software.
School of Computer and Cyber Sciences
Summerville Campus
706-721-1110
Xiang Weiming
