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

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

The Graduate School

Administration
Department of 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 1302

    Principles of Comp Program II
  • CSCI 8940

    Dissertation Research
  • CSCI 8510

    Independent Study: Compilers
  • CSCI 6910

    Master's Thesis Research
  • CSCI 7950

    Selected Topics
  • CURS 2990

    Undergrad Research I
  • CSCI 1301

    Principles of Comp Program I
  • CSCI 4990

    Undergrad Research

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