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

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

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 8940

    Dissertation Research

  • CSCI 1302

    Principles of Comp Program II

  • CSCI 8510

    Independent Study: Compilers

  • CSCI 6910

    Master's Thesis Research

  • CSCI 7950

    Selected Topics

  • CURS 2990

    Undergrad Research I

Scholarship

Selected Recent Publications

  • Proceedings 17th Interaction and Concurrency Experience, 2024
    Journal Article, Academic Journal
  • Reverse My Computation? But Why?, 2024
    Journal Article, Academic Journal
  • 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