cv
General Information
| Full Name | João Madeira Pereira |
| Location | Lisbon, Portugal |
| joaomhmpereira@gmail.com | |
| GitHub | https://github.com/joaomhmpereira |
| https://www.linkedin.com/in/joão-madeira-pereira-48429a261/ |
Education
-
2022 - 2024 M.Sc. in Computer Science and Engineering
Instituto Superior Técnico, University of Lisbon - Specializations in Cyber-Security and Distributed Systems.
- Final grade - 18/20.
-
2019 - 2022 B.Sc. in Computer Science and Engineering
Instituto Superior Técnico, University of Lisbon
Experience
-
2023 - 2025 Teaching Assistant
Instituto Superior Técnico, University of Lisbon - Conducted laboratory classes for Software Security (2023/24, 2024/25), Cloud Computing and Virtualization (2024/25) and Distributed Systems (2024/25).
- Recognized as an Excellent Faculty Member for 2023/2024.
-
2023 R&D Engineer Intern
EDP - Collaborated on EU Horizon Europe projects - SATO, Smart2B, and POCITYF.
- Designed and implemented optimization algorithm for EV charging cost reduction.
- Developed data processing and analysis programs for building efficiency and sustainability.
-
2021 - 2022 Mathematics Tutor
MCoach - Supported students with study habits, exam strategies, and problem-solving.
- Helped identify and address weaknesses in academic performance.
Open Source Projects
-
Smt.ml
- Contributed to Smt.ml, an OCaml frontend for SMT solvers; integrated cvc5 backend and refactored internal design.
-
OCaml Bindings for the cvc5 SMT Solver
- Designed and developed cvc5.ml bindings for OCaml integration with cvc5.
-
Opam package for cvc5.ml
- Created an Opam package for easier installation and integration of cvc5.ml.
Honours and Awards
-
2025 - CMU Portugal Dual Degree Ph.D Program Scolarship.
-
2024 - Academic Excellence Award, Instituto Superior Técnico.
-
2023 - Excellent Faculty Member, Instituto Superior Técnico.
Skills
- Python
- C/C++
- OCaml
- Java