Gianluca Grilletti
Postdoctoral Researcher at Ludwig-Maximilians-Universität München
Munich, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolGianluca Grilletti is a postdoctoral researcher and software-minded mathematician with 11 years of experience at the intersection of logic, theoretical computer science, and applied software development. Trained with top honors in mathematics and a PhD in Logic from the University of Amsterdam, he has produced novel abstract models and implemented them in research-grade software across multicultural academic environments in Europe. Comfortable moving between formal proofs and practical code, he collaborates with logicians, philosophers, and linguists to tackle interdisciplinary problems and translate ideas into reproducible artifacts. At LMU Munich and previously at the University of Amsterdam he combines rigorous theoretical work with clear communication and conflict-resolution skills to drive team projects to completion. His background suggests a rare blend of deep formal thinking and hands-on engineering, valuable for research-driven product teams or tooling for formal methods.
11 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD, Logic, Doctor of Philosophy - PhD, Logic at University of AmsterdamUndergraduate education, Mathematics, Undergraduate education, Mathematics at Scuola Normale SuperioreMaster's degree, Mathematics, 110 cum laude, Master's degree, Mathematics, 110 cum laude at Università di Pisa
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (11)
analyser8
spatial-analysis7
model-checking7
medical-imaging6
voxel5
spatial5
interpreter4
rust3
programming-language3
declarative3
compiler2
Programming languages (1)
Github contributions (5)
cherosene/inqSem
Oct 2016 - Dec 2018
Contributions:20 pushes, 1 branch in 2 years 2 months
cherosene/learning_algorithms
Jul 2015 - Oct 2015
Contributions:29 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.