João Madeira Pereira

Ph.D Student in Computer Science @ IST and CMU

prof_pic.jpg

Welcome to my webpage! My name is João Madeira Pereira. I am a Ph.D Student in Computer Science at Instituto Superior Técnico (IST) and Carnegie Mellon University (CMU), enrolled through the CMU Portugal Dual Degree Ph.D Program. I’m coadvised by Professors José Fragoso Santos, Limin Jia, and Pedro Adão.

My research focuses on software security, program analysis, and programming languages, with a particular interest in building tools and techniques that help make software systems more secure and reliable.

selected publications

  1. Smt.ml
    Smt. ml: A Multi-Backend Frontend for SMT Solvers in OCaml
    João Madeira Pereira, Filipe Marques, Pedro Adão, and 6 more authors
    2024
  2. MSc
    A Multi-Backend Frontend for SMT Solvers in OCaml
    João Madeira Pereira
    Instituto Superior Técnico, 2024