Clément Aubert
Associate Professor
Clément Aubert
Associate Professor
Academic Appointment(s)
Administration
Department of Computer Science
School of Computer and Cyber Sciences
Department of Computer Science
Administration
Department of The Graduate School
Bio
Dr. Clément Aubertis an Associate Professor in the School of Computer and CyberSciences and an associate faculty member of the Graduate School at Augusta University.
- caubert@augusta.edu
- (706) 737-1566
- UH 105
- Personal Website
Education
-
Ph.D., Computer Science University of Paris 13 - Unive, 2014
Courses Taught Most Recent Academic Year
-
CSCI 8940
Dissertation Research
-
CSCI 1301
Principles of Comp Program I
-
CSCI 1302
Principles of Comp Program II
-
CSCI 3400
Data Structures
-
CSCI 8510
Independent Study: Concurrency in Reversible Comp
-
CSCI 8720
Problems in Computer & Cyber
Teaching Interests
My teaching interests are in programming language, theoretical computer sciences and process calculi. I actively develop open educational material such as the one hosted at https://princomp.github.io/ that covers CSCI 1301, CSCI 1302 and CSCI 3400.
Scholarship
Selected Recent Publications
- Bisimulations and Reversibility, 2026
Book, Chapter in Scholarly Book-New - Independence and Causality in the Reversible Concurrent Setting, 2025
Book, Chapter in Scholarly Book-New - Proceedings 18th Interaction and Concurrency Experience, 2025
Journal Article, Academic Journal - Reverse My Computation? But Why?, 2024
Journal Article, Academic Journal - FAIR reporting of clinical trials for public health practice, 2024
Journal Article, Academic Journal
Research Interests
My research interests are in formal methods for software engineering, with focus on automatic certification, distributed programs, and reversible computation. More recently, I started developing an interest for proof assistant and mechanized proofs.