Registered user since Mon 4 Sep 2023
Name:Théo Matricon
Bio:
3rd year PhD Student in Program Synthesis
Country:France
Affiliation:CNRS, LaBRI, University of Bordeaux
Personal website: https://theomat.github.io/
GitHub: https://github.com/Theomat
Research interests:Program Synthesis, Code Generation
Contributions
POPL 2024-profile
View general profile
View general profile