About me

Hi, my name is Ion. I am a first year PhD student (2025) under the supervision of Mário Pereira and Jorge Sousa Pinto. My research focuses on deductive verification of distributed algorithms. I am also interested in Functional Programming and Concurrency Theory.