Jairo Miguel Marulanda-Giraldo (Preferred)
Jairo Miguel Marulanda Giraldo
Jairo Miguel Marulanda-Giraldo
PhD student, 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