Cosimo Brogi
Postdoctoral Researcher at Forschungszentrum Jülich
Rixensart, Walloon Brabant, Belgium
Summary
👤
Senior🎓
Top SchoolCosimo Brogi is a postdoctoral researcher at Forschungszentrum Jülich who combines hydrogeophysics, digital twins and machine learning to advance precision agriculture, soil-health monitoring and carbon farming. With a PhD in Civil and Environmental Engineering and over eight years of experience, he bridges theory and practice—developing real-time environmental monitoring tools and model-data fusion approaches that integrate proximal and remote sensing. He brings deep GIS expertise (ESRI ArcGIS) developed since his studies in Siena and applied in international health and development projects in Ethiopia and Tanzania. Equally comfortable with formal mathematics, Cosimo contributes to the UniMath Coq library, formalizing algebraic structures and demonstrating a rare mix of rigorous theoretical skills and applied geoscience. Colleagues describe him as methodical, adaptable and collaborative, able to translate complex models into actionable insights for farmers and researchers. Based in Belgium, he publishes regularly in high-level journals and seeks interdisciplinary collaborations that turn novel geophysical methods into operational solutions.
8 years of coding experience
3 years of employment as a software developer
Master's degree, Scienze e Tecnologie Geologiche, 110L/110 cum Laude, Master's degree, Scienze e Tecnologie Geologiche, 110L/110 cum Laude at Università degli Studi di SienaDoctor of Philosophy - PhD, Civil and Environmental Engineering, 1.0 Magna cum Laude, Doctor of Philosophy - PhD, Civil and Environmental Engineering, 1.0 Magna cum Laude at University of Stuttgart
English, French, Italian, German
Github Skills (9)
category-theory10
mathematics10
monads10
coq10
math10
coq-library10
foundation10
foundation-sites9
foundation-models9
Programming languages (1)
Github contributions (4)
UniMath/UniMath
Dec 2017 - Jan 2021
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:13 commits, 2 PRs, 6 comments in 3 years 1 month
Contributions summary:Cosimo primarily contributed to the `UniMath` Coq library, focusing on formalizing mathematical concepts. Their work involved defining and proving properties related to Kleisli triples, monads, and categories. They also worked on submonoids, varieties, and algebras, demonstrating proficiency in formalizing algebraic structures within the Coq environment.
homotopy-type-theorycoq-libraryfoundationstheorem-provingcomputer-algebra-system
logicosimo/UniMath
Oct 2017 - Dec 2017
Contributions:6 pushes, 2 branches in 1 month
coq-librarymathematicsbodypointaims
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.