Registered user since Fri 10 Jan 2025
Name:Jahrim Gabriele Cesario
Bio:
I am a PhD student in the Programming Group at the University of St. Gallen. I am currently working on optimizations for theorem provers.
Country:Italy
Affiliation:University of St. Gallen
Personal website: https://jahrim.github.io
GitHub: https://github.com/jahrim
Research interests:Programming Languages, Software Engineering
Contributions
2025
POPL
POPL 2025-profile
View general profile
View general profile