Hi! I'm a Software Engineering Ph.D. student in the CMU-Portugal Dual PhD programme, conducting research at the Software and Societal Systems Department in the School of Computer Science at Carnegie Mellon University, and at the Faculty of Engineering of the University of Porto, where I'm a member of the TQRG (The Quasar Research Group). My work sits at the intersection of formal reasoning and large language models, advised by Dr. Rui Abreu and Dr. Jonathan Aldrich.
I'm always open to collaborations. Feel free to reach out to me at tfortes(at)andrew(dot)cmu(dot)edu.
Warning
Problem: The current name of your GitHub Pages repository ("Solution: Please consider renaming the repository to "
http://".
However, if the current repository name is intended, you can ignore this message by removing "{% include widgets/debug_repo_name.html %}" in index.html.
Action required
Problem: The current root path of this site is "baseurl ("_config.yml.
Solution: Please set the
baseurl in _config.yml to "Education
-
Carnegie Mellon University and University of PortoDual Ph.D. in Software Engineering
Pittsburgh and PortoSep. 2025 - present -
University of MinhoMaster's in Software Engineering
Braga, PortugalSep. 2022 - Aug. 2025 -
Ludwig-Maximilians-UniversitätErasmus Exchange Programme
Munich, GermanySep. 2023 - Feb. 2024 -
University of MinhoBachelor's in Software Engineering
Braga, PortugalSep. 2019 - Aug. 2022
Experience
-
Ambiguity Reduction in Natural Language Requirements through AutoformalizationRExAI Workshop Paper, NFM — in progress, acceptedMar. 2026 - present
-
Alloy Meets Haskell: A Round-Trip Life-Cycle for High Quality Software DesignMaster's ThesisJan. 2024 - Dec. 2025
Activities & Leadership
-
Student Volunteer, ICSE 2026 — Rio de Janeiro, Brazil2026
-
IT Support Technician — European Parliament Elections2024
-
Staff Member, 26th Portuguese National Congress of Internal Medicine2020
Selected Publications (view all )
Ambiguity Reduction in Natural Language Requirements through Autoformalization
Eunsuk Kang, Sam Procter, Teresa Fortes, Yining She
RExAI Workshop, co-located with NASA Formal Methods (NFM) 2026 · USC, Los Angeles, California
Ambiguity Reduction in Natural Language Requirements through Autoformalization
Eunsuk Kang, Sam Procter, Teresa Fortes, Yining She
RExAI Workshop, co-located with NASA Formal Methods (NFM) 2026 · USC, Los Angeles, California