Skip to main content
Back to Top
Augusta University LogoShield

Information for:

  • Current Students
  • Alumni
  • Community
  • Faculty & Staff
  • Military
  • Patients

Resources

  • A-Z Index
  • Calendar
  • Campus Maps
  • D2L LMS
  • Email
  • Libraries
  • MyAugusta
  • News
  • Jobs & Careers
  • Portals
  • Pounce
  • Shuttles
  • Admissions
  • Academics
  • About
  • Student Life
  • Athletics
  • Research
  • Health
  •   Giving
Computer & Cyber Sciences
  • About
    • About CCS
    • Faculty and Staff
    • Center for Academic Excellence
    • Facilities
    • NSF Engines Development Award
  • Experiences
    • Cyber Institute
    • VICEROY
  • Programs
  • Students
    • Opportunities
    • AU at Fort Eisenhower
    • Alumni
    • Scholarships
  • Research
    • Overview
    • Computer Science Colloquium
  • Work with SCCS
    • Join the SCCS Team
    • PhD Student Opportunities
    • Sponsor Programs & Events
    • Make a Gift
  • Augusta University
  • Computer & Cyber Sciences
  • Formal Methods, Software Engineering and Programming Languages

Formal Methods, Software Engineering and Programming Languages

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.

  • Research at AU
  • The ForML Lab

Contact Us

School of Computer and Cyber Sciences

 Summerville Campus

University Hall

706-721-1110

ccs@augusta.edu

          

Affiliated Faculty

photo of Clement Aubert

Clement Aubert

  • Associate Professor
  • caubert@augusta.edu
photo of Paul Attie

Paul Attie

  • Professor
  • pattie@augusta.edu
photo of Richard DeFrancisco

Richard DeFrancisco

  • Assistant Professor
  • rdefrancisco@augusta.edu
photo of Harley Eades

Harley Eades

  • Associate Professor
  • heades@augusta.edu
photo of Onyeka Ezenwoye

Onyeka Ezenwoye

  • Associate Professor
  • oezenwoye@augusta.edu
photo of Xiang Weiming

Xiang Weiming

  • Associate Professor
  • wxiang@augusta.edu
photo of Yuyan Bao

Yuyan Bao

  • Assistant Professor
  • yubao@augusta.edu
photo of Gursimran Walia

Gursimran Walia

  • Associate Dean for Academic Affairs
  • gwalia@augusta.edu
University Shield

Augusta University

1120 15th Street, Augusta, GA 30912

  •   Campus Maps
  •   Campus Contacts
  • A-Z Directory
  • Degrees & Programs
  • Employment
  • Accessibility
  • Accreditation
  • Campus Safety
  • Compliance Hotline
  • Human Trafficking Notice
  • Privacy Notices
  • Title IX / Sexual Misconduct
Apply Now Give Now

© 2025 Augusta University

Facebook Twitter LinkedIn Youtube Instagram
©