about
I'm a Ph.D. student in Computer Science at Instituto Superior Técnico (IST, Lisbon) and Carnegie Mellon University (CMU, Pittsburgh), enrolled in the CMU Portugal dual-degree program. I'm coadvised by Professors José Fragoso Santos (IST), Limin Jia (CMU), and Pedro Adão (IST).
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.
publications
-
TACAS'26
Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml
@inproceedings{pereira2026smt, title = {Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml}, author = {Pereira, Jo{\~a}o Madeira and Marques, Filipe and Ad{\~a}o, Pedro and Ait-El-Hara, Hichem Rami and Andr{\`e}s, L{\'e}o and Carcano, Arthur and Chambart, Pierre and Maksimovi{\'c}, Petar and Santos, Nuno and Santos, Jos{\'e} Fragoso}, booktitle = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems}, pages = {23--44}, year = {2026}, publisher = {Springer} } -
MSc
A Multi-Backend Frontend for SMT Solvers in OCaml
@mastersthesis{pereira_msc_2024, author = {Jo{\~a}o Madeira Pereira}, title = {A Multi-Backend Frontend for SMT Solvers in OCaml}, school = {Instituto Superior T\'{e}cnico}, year = {2024} }
teaching
Teaching Assistant at Instituto Superior Técnico.
-
Software Security (Master's)
Prepared and conducted laboratory sessions. Recognized as Excellent Faculty Member, 2023/2024.
-
Cloud Computing and Virtualization (Master's)
Prepared and conducted laboratory sessions.
-
Distributed Systems (Bachelor's)
Prepared and conducted laboratory sessions.
cv
- Ph.D. in Computer Science, IST + CMU (CMU Portugal), 2024–present
- M.Sc. in Computer Science and Engineering, IST, 2024
- Research: software security, program analysis, programming languages
- Excellent Faculty Member, Instituto Superior Técnico, 2023/2024
repositories
A few projects I've contributed to.