https://dissem.in/r/9593/clement-aubert"/> https://dissem.in/r/9593/clement-aubert"> Clément Aubert - Faculty Profile

Clément Aubert

Assistant Professor

Clément Aubert

Assistant Professor

Academic Appointment(s)

School of Computer and Cyber Sciences
Department of Computer Science

The Graduate School

Bio

Bonjour.

You can find my publications at
https://dissem.in/r/9593/clement-aubert

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 4990

    Undergrad Research
  • CSCI 8970

    Research Exposure
  • CURS 2990

    Undergrad Research I
  • CURS 4990

    Undergrad Research III

Scholarship

Selected Recent Publications

  • The correctness of concurrencies in (reversible) concurrent calculi, 2024
    Other
  • Implementation of a Reversible Distributed Calculus, 2023
    Other
  • pymwp: A Static Analyzer Determining Polynomial Growth Bounds, 2023
    Other
  • Replications in Reversible Concurrent Calculi, 2023
    Other
  • Certifying Complexity Analysis, 2023
    Other