Skip to content
@the-au-forml-lab

The ForML Lab

README.md

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 organizes the Southeast Regional Programming Languages Seminar .

Pinned Loading

  1. au_ccs_letterhead_template au_ccs_letterhead_template Public

    Template for Augusta University Letterhead

    TeX 3

  2. plgroup plgroup Public

    Programming Languages Reading Group information and tools.

    JavaScript 1

  3. au_ccs_dissertation_template au_ccs_dissertation_template Public

    Augusta University School of Computer and Cyber Sciences PhD and Ms Templates

    TeX

  4. SERPL SERPL Public

    The Southeast Regional Programming Languages Seminar Website

    HTML

Repositories

Showing 9 of 9 repositories
  • au_ccs_dissertation_template Public

    Augusta University School of Computer and Cyber Sciences PhD and Ms Templates

    the-au-forml-lab/au_ccs_dissertation_template’s past year of commit activity
    TeX 0 CC-BY-4.0 0 4 0 Updated Dec 24, 2024
  • plgroup Public

    Programming Languages Reading Group information and tools.

    the-au-forml-lab/plgroup’s past year of commit activity
    JavaScript 0 GPL-2.0 1 2 0 Updated Dec 21, 2024
  • au_ccs_letterhead_template Public

    Template for Augusta University Letterhead

    the-au-forml-lab/au_ccs_letterhead_template’s past year of commit activity
    TeX 3 GPL-3.0 0 1 0 Updated Aug 16, 2024
  • icfpc Public archive

    ΔΛΔ @ ICFP Programming Contest 2024

    the-au-forml-lab/icfpc’s past year of commit activity
    Python 0 0 0 0 Updated Jul 1, 2024
  • modern-campus-catalog-scrapper Public

    A Puppeteer + bash program to scrape Augusta University's "Modern Campus" catalog

    the-au-forml-lab/modern-campus-catalog-scrapper’s past year of commit activity
    JavaScript 0 GPL-3.0 0 0 0 Updated Jun 11, 2024
  • SERPL Public

    The Southeast Regional Programming Languages Seminar Website

    the-au-forml-lab/SERPL’s past year of commit activity
    HTML 0 MIT 0 0 0 Updated Mar 22, 2024
  • the-au-forml-lab.github.io Public Forked from granule-project/granule-project.github.io

    The Augusta University ForML Lab Website

    the-au-forml-lab/the-au-forml-lab.github.io’s past year of commit activity
    SCSS 2 MIT 441 0 0 Updated Aug 17, 2023
  • .github Public
    the-au-forml-lab/.github’s past year of commit activity
    0 0 0 0 Updated Mar 27, 2023
  • SERPL2019 Public archive

    The Southeast Regional Programming Languages Seminar Website (2019)

    the-au-forml-lab/SERPL2019’s past year of commit activity
    CSS 0 MIT 0 0 0 Updated Jan 22, 2020

Top languages

Loading…

Most used topics

Loading…