HOME
Hey,
I’m Jahrim Gabriele Cesario. I have a Master’s Degree in Computer Science and Engineering. My interests cover research and teaching in the fields of Software Engineering and Programming Languages. I am currently pursuing a PhD in Computer Science, with a focus on software verification, at the University of St. Gallen.
This is my personal website. Here you can find more information about me and about my projects, or contact me directly for any specific questions.
