The ForML (Formal Methods and Computational Logic) Lab is broadly the collective of faculty and students at Augusta University that strive to ensure the correctness and security of software by using principles from logic, mathematics, and formal methods. The primary research areas of the faculty and students are: foundations of programming languages, interactive theorem proving, categorical logic, reversible computing, program optimization, program analysis, and secure programming.
Research Projects
Events and Activities
- The weekly programming languages reading group
- ΔΛΔ student organization is dedicated to students interested in related research topics
- The Southeast Regional Programming Languages Seminar (SERPL) 2023 and 2019
- CS Colloquium: Fall 2021 and Fall 2020
Community Service
Beyond events and activities, the members support the Augusta University community by crafting and maintaining document templates.
