Information for:

Resources

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.

Education

  • Ph.D., Computer Science University of Paris 13 - Unive, 2014

Courses Taught Most Recent Academic Year

  • CSCI 3400

    Data Structures

  • CSCI 8940

    Dissertation Research

  • CSCI 8510

    Independent Study: Concurrency in Reversible Comp

  • CSCI 8720

    Problems in Computer & Cyber

  • CSCI 1302

    Principles of Comp Program II

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.