Mário Pereira

Mário Pereira is an Assistant Professor at NOVA School of Science and Technology and integrated member of NOVA LINCS research unit. His research focuses on developing tools and techniques for deductive verification of OCaml programs.

He leads the Cameleer project, which aims to produce correct-by-construction OCaml programs. Pereira teaches courses on Theory of Computation, Algorithms, and Compilers, and has supervised multiple PhD and Master's students in formal verification research.