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.

Contact Us

School of Computer and Cyber Sciences

Summerville Campus

University Hall

706-721-1110

ccs@augusta.edu

Affiliated Faculty

photo of Clement Aubert

Associate Professor
caubert@augusta.edu

photo of Paul Attie

Professor
pattie@augusta.edu

photo of Richard DeFrancisco

Richard DeFrancisco

Assistant Professor
rdefrancisco@augusta.edu

photo of 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

Assistant Professor
yubao@augusta.edu

photo of Gursimran Walia

Gursimran Walia

Associate Dean for Academic Affairs
gwalia@augusta.edu