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 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, and secure programming.

The ForML Lab is extremely excited to announce that the first Southeast Regional Programming Languages Seminar will be held at the Georgia Cyber Center (GCC), the new home of the Augusta University School of Computer and Cyber Sciences, in Augusta, Georgia, USA.

School of Computer and Cyber Sciences Augusta University