• Sign in
  • Sign up
conf.researchr.org / Clément Aubert
  • ECOOP 2025 profile
  • ICFP 2027 profile
  • POPL 2023 profile
Clément Aubert

Registered user since Tue 2 Jun 2020

Name:Clément Aubert
Bio:

Find me at
https://aubert.info/ https://aubert.perso.math.cnrs.fr/
https://lipn.info/@clementaubert

Country:United States
Affiliation:Augusta University
Personal website: https://aubert.info/
Research interests:Formal Methods, Reversibility, Complexity

Contributions

2027

ICFP

  • PC Member in Program Committee within the ICFP Papers-track

2025

ECOOP

  • Workshops/Tools Co-Chair in Organizing Committee

2023

CoqPL

  • Author of Certifying Complexity Analysis within the CoqPL 2023-track

VMCAI

  • Author of Distributing and Parallelizing Non-canonical Loops within the VMCAI 2023-track
Share
xMon 5 Oct 06:30
using conf.researchr.org (v1.76.1)
Support page
Sign Up