a really serious face

I am a PhD student, working on computer science. my main interests are: formal verification, programming languages, concurrency theory, distributed systems and algorithms. I am being advised by Mário Pereira and Jorge Sousa Pinto

Publications

Conference papers

The TLA+ Trifecta walks into a bar, the bartender asks Why3?

Ion Chirica, Mário Pereira, Jorge Sousa Pinto
ISoLA 2026 (Pre-print), Kos
Proof artefacts

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml

Ion Chirica, Mário Pereira
iFM 2025, Paris

Ethereum Verified Machine: A Certified OCaml Implementation of the EVM

Ion Chirica, Mário Pereira, António Ravara
INForum 2025, Évora

Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem

Tiago Lopes Soares, Ion Chirica, Mário Pereira
ISoLA 2024, Crete

Education

  • I was able to paint with my hands in kindergarten.
  • I went to high school where I studied stuff.
  • I did a bachelor's to learn how computers work.
  • I got a master's and that should tell you I figured out how they work. Though it still looks like wizardry.

Teaching