Name:Jahrim Gabriele Cesario

Bio:

I am a PhD student in the Programming Group at the University of St. Gallen. My primary focus is on optimizations for theorem proving, with a secondary interest in AI verification.

Country:Switzerland

Affiliation:University of St. Gallen

Research interests:Programming Languages, Software Engineering