The ForML Lab

The ForML (Formal Methods and Computational Logic) Lab in the School of Computer and Cyber Sciences at Augusta University 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.

The primary research areas of the faculty and students in the ForML lab are: foundations of programming languages, interactive theorem proving, categorical logic, reversible computing, program optimization, program analysis and secure programming.

The ForML Lab organized the first Southeast Regional Programming Languages Seminar at the Georgia Cyber Center (GCC), and invites you to join us at the School’s Computer Science Colloquium .

School of Computer and Cyber Sciences Augusta University