Daniel Larraz
Assistant Research Scientist at University of Iowa
Iowa City, Iowa, United States
Summary
🤩
Rockstar🎓
Top SchoolDaniel Larraz is an assistant research scientist with nine years of experience in academic research and software development, currently based at the University of Iowa. With a PhD in Computer Science from Universitat Politècnica de Catalunya and postdoctoral roles spanning Spain and the U.S., he blends deep algorithmic expertise with hands-on research engineering. His trajectory includes internships at Microsoft Research and industry R&D, reflecting a knack for translating theoretical work into applied systems. Comfortable mentoring and teaching, he has moved steadily from doctoral research to leading projects as a research scientist, bringing a global academic perspective and practical software chops to interdisciplinary problems.
9 years of coding experience
5 years of employment as a software developer
BSc + MSc (5-year degree + final project), Computer Engineering, BSc + MSc (5-year degree + final project), Computer Engineering at Universidad de ZaragozaUPC Universitat Politècnica de Catalunya
Spanish, English
Github Skills (108)
satisfiability10
opam10
package-repository10
modulo10
smt10
ocaml10
sat-solver10
attack-defense10
checker10
theorem-proving10
package-manager10
lustre10
model-checking10
theorem10
sat10
Programming languages (11)
Github contributions (5)
daniel-larraz/opam-repository
Dec 2020 - Feb 2025
Main public package repository for opam, the source package manager of OCaml.
Contributions:13 pushes, 14 branches in 4 years 2 months
package-managerpackage-repositoryocamlopam
daniel-larraz/cvc5
Dec 2023 - Apr 2025
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Contributions:1 release, 1138 pushes, 352 branches in 1 year 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.