Juan Galeotti
Professor at Instituto de Ciencias de la Computación
Buenos Aires, Autonomous City of Buenos Aires, Argentina
Summary
🤩
Rockstar🎓
Top SchoolJuan Galeotti is a professor and researcher in Buenos Aires with over a decade of experience focused on software testing, verification, and program analysis. He holds a doctorate in computer science from Universidad de Buenos Aires and has combined academic roles at UBA with research positions at the Instituto de Ciencias de la Computación and a postdoc at Universität des Saarlandes. His work spans bounded contract verification, model checking, and programming language design, blending theoretical rigor with practical verification tools. He has industry research exposure from a Microsoft research internship and a consistent academic track record since the mid-2000s. Known for bridging formal methods and implementable analyses, he brings both deep theory and hands-on experience to graduate training and research projects.
10 years of coding experience
10 years of employment as a software developer
Doctor, Computer Science, Doctor, Computer Science at Universidad de Buenos AiresBCS, Computer Science, BCS, Computer Science at University of Buenos Aires
English, Spanish
Stackoverflow
31reputation
1kreached
0answers
3questions
Github Skills (48)
kotlin10
junit-test10
api-rest10
testing10
testcase10
evolutionary-algorithms10
java10
rpc10
rest10
ai10
graphql10
fuzzing10
thrift10
fuzzer10
blackbox-testing10
Programming languages (6)
Github contributions (5)
crazy2k/evosuite
Apr 2016 - Feb 2019
Contributions:15 pushes in 2 years 9 months
jgaleotti/EvoMaster
Aug 2025 - Aug 2025
A tool for automatically generating system-level test cases. Currently targeting REST APIs.
Contributions:1 push in 1 day
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.