Juan Galeotti
Professor at Instituto de Ciencias de la Computación
Buenos Aires, Autonomous City of Buenos Aires, Argentina
Summary
👤
Senior🎓
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 (67)
junit-test10
testing10
junit10
fuzzer10
blackbox-testing10
rest10
thrift10
grpc10
api-testing10
test-automation10
api-rest10
java10
fuzzing10
whitebox10
kotlin10
Programming languages (6)
Github contributions (5)
crazy2k/evosuite
Apr 2016 - Feb 2019
Contributions:15 pushes in 2 years 9 months
EvoSuite/evosuite
Nov 2015 - Feb 2019
EvoSuite - automated generation of JUnit test suites for Java classes
Contributions:188 commits, 5 PRs, 108 pushes in 3 years 3 months
junit-testtestingsuitesjavajunit
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.