Jiahao Chen
M.S. in Computational Science and Engineering at Georgia Institute of Technology
I'm a Master's student in Computational Science and Engineering at Georgia Institute of Technology. I previously completed my B.S. in Computer Science at Carlos III University of Madrid, which included exchange studies at the University of Waterloo and Georgia Tech.
My research is at the intersection of machine learning and systems, focusing on how ML can accelerate symbolic reasoning tools like SMT solvers, and how middleware stacks, such as compilers, can accelerate ML models on existing infrastructure.
Outside of academics, I enjoy going to the gym and playing basketball. I was part of the Ultimate Frisbee team that won 1st place in the Spanish National Div. 2 in 2024, and I recently joined the Georgia Tech competitive ballroom team.
My Journey
-
Upcoming
Software Developer Internship
Google
-
Upcoming
UC3M Social council excellence awards
Top 12 best academic standing engineering students
-
Upcoming
Teaching Assistant CS 6210
Georgia Institute of Technology
-
2024 – 2025
Premio Extraordinario Grado Uc3m 2024/25
-
2024 – 2025
Madrid Academic Excellence Awards
-
Aug 2025
Teaching Assistant CS 6456
Georgia Institute of Technology
-
Aug 2025
Started M.S. in Computational Science & Engineering
Georgia Institute of Technology
-
Aug 2025
Z3alpha-25 won several divisions
SMT-COMP25
-
Jul 2025
Graduated with Highest GPA of Promotion
B.S. in Computer Science, Carlos III University of Madrid
-
May 2025 – Present
ML Compilers Research Assistant
Georgia Institute of Technology
-
May 2025 – Jul. 2025
Software Developer
Apache Cybershuttle GT OSPO
-
Spring 2025
La Caixa Fellowship
Postgraduate fellowship (13 recipients in engineering from Portugal and Spain across master and phd programs).
-
Spring 2025
PURA
Georgia Institute of Technology
-
2023 – 2024
Madrid Academic Excellence Awards
-
Sept. 2024 – Present
ML for Logic Solver Research Assistant
Georgia Institute of Technology
-
2024 – 2025
Santander Scholarships
International mobility program
-
Aug 2024 – May 2025
B.S. Exchange Program
Georgia Institute of Technology
-
Jun. 2024 – Aug. 2024
Software Developer
Polytechnic University of Madrid
-
May 2024 – Aug. 2024
Software Developer
INETUM
-
2023 – 2024
Santander Scholarships
International mobility program
-
2023 – 2024
CSA President
Computer Science Club Uc3m
-
Sep 2023 – May 2024
B.S. Exchange Program
University of Waterloo
-
Jun 2023
Adabyron National Finalist
Spanish University Programming Contest. Universidad de Complutense
-
Mar 2023
1st Place, Adabyron Regional (Madrid)
Universidad Politécnica de Madrid (2nd Year Category)
-
Mar 2023
1st Place, Programming Gymkana
Universidad de Alcalá (1st, 2nd Year Category)
-
Jan 2023
5 "Matrículas de Honor"
Top of class in all 1st quarter courses (Sep-Dec 2022).
-
2022 – 2023
Madrid Academic Excellence Awards
-
2021 – 2023
Tutoring
-
Sep 2021
Started B.S. in Computer Science
Carlos III University of Madrid
-
Jun. 2021
Top 0.01% in EBAU Spanish University Entrance Exam
Scored 13.92/14.0.
-
May. 2021
Graduated from IES VELAZQUEZ, SEVILLA
Matrícula de honor
-
Sep. 2020
Programming
4th OIE SEVILLA 2021
-
Jun. 2020
English
CAE Certificate Oct 2020