Name:Jahrim Gabriele Cesario

Bio:

I am a PhD student in the Programming Group at the University of St. Gallen. I am primarily working on optimizations for theorem provers. I am also interested in formal methods for AI.

Country:Switzerland

Affiliation:University of St. Gallen

Research interests:Programming Languages, Formal Methods for AI