Clément Aubert

Clément Aubert is an Associate Professor with tenure at Augusta University's School of Computer and Cyber Sciences. He specializes in formal methods, complexity theory, and reversible computing, with significant contributions to concurrency theory and implicit computational complexity. His research bridges theoretical computer science with practical applications in programming languages and security.

Aubert's research focuses on reversible concurrent calculi, computational complexity analysis, and formal verification. His work explores how reversibility can provide insights into traditional computing problems, with applications in security protocols and distributed systems. He has developed static analysis techniques like the mwp-analysis for determining polynomial growth bounds in programs, contributing to the field of implicit computational complexity.

His publication record shows consistent contributions to top theoretical computer science venues including CONCUR, RC (Reversible Computation), and POPL-affiliated workshops. His research combines deep theoretical insights with practical implementations, as evidenced by tools like pymwp. The publications demonstrate a clear trajectory from foundational work in complexity theory to applied research in concurrency and security.

• Tenure at Augusta University (2023)
• NSF funding for 'Concurrency in Reversible Computations' project
• Two research grants from Augusta University
• Research Development Travel Grant for NSF visit

Aubert actively mentors students including Neea Rusch, Assya Sellak, and Gabriele Cecilia. He has organized multiple ICE (Interaction and Concurrency Experience) conferences and served on numerous program committees. His research group focuses on reversible computing implementations and complexity analysis tools. He collaborates extensively with researchers across Europe and the United States, maintaining strong connections with French institutions through CNRS.