Raúl Monti
Software Engineer at ASML
Netherlands
Summary
👤
Senior🎓
Top SchoolRaúl Monti is a software engineer and computer scientist with 13 years of experience bridging formal methods research and industrial software development. After a PhD in Computer Science and a postdoc at the University of Twente, he focused on practical verification tools and workflows—applying model checking, deductive verification, and dependability analysis to concurrent and embedded systems. His work spans academic projects (IOSA, VerCors, FIG) and industry practice, and he now brings that verification-first mindset to software engineering at ASML. Raúl is experienced teaching and supervising students, co-organises the VerifyThis challenge, and has built educational tooling (VerifiedSnap!) to introduce verification to younger learners—a sign of his knack for translating deep theory into usable tools.
13 years of coding experience
9 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Universidad Nacional de Córdoba
Github Skills (9)
opencl10
openmp10
viper10
verification10
concurrent10
java10
concurrency10
parallel9
database1
Programming languages (6)
Github contributions (5)
raulmonti/falluto2
Jun 2015 - Feb 2023
Contributions:3 pushes in 7 years 8 months
raulmonti/OfflineMBT
Nov 2024 - Jan 2025
Contributions:6 pushes, 1 branch in 2 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.