Jairo Miguel Marulanda-Giraldo (Preferred)
, Jairo Miguel Marulanda Giraldo
Jairo Miguel Marulanda-Giraldo
Pronouns: he/him
PhD student, Electronics and Computer Science, University of Southampton
Intern, Electronics and Computer Science, University of Southampton
- Joined April 2025
Names
Emails
****@soton.ac.uk (Confirmed)
, ****@eafit.edu.co (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Career & Education History
PhD student
Electronics and Computer Science , University of Southampton (soton.ac.uk)
2025 – 2029
Intern
Electronics and Computer Science , University of Southampton (soton.ac.uk)
2024 – 2025
Intern
Computer Science, Purdue University (purdue.edu)
2023 – 2024
Undergrad student
Applied Mathematics, Universidad EAFIT (eafit.edu.co)
2020 – 2024
Advisors, Relations & Conflicts
Expertise
logic, formal methods, formal verification, type theory, verification
2020 – 2029
theorem proving, automatic theorem proving, interactive theorem proving, coq, rocq, agda, lean, smt solving, sat solving
2020 – 2029
artificial intelligence, numerical methods, deep learning, verification
2020 – 2029