Marco Maggesi
Associate Professor
Florence, Tuscany, Italy
Summary
🤩
Rockstar🎓
Top SchoolMarco Maggesi is an academic software engineer and Associate Professor at the Università degli Studi di Firenze with 16 years of professional experience in research and teaching. He progressed from Ricercatore to a faculty leadership role in 2022, demonstrating long-term commitment to the university where he also completed his studies. Based in Florence, he blends deep institutional knowledge with practical research-driven software expertise, likely mentoring students and leading projects in applied computing. His career suggests strengths in sustaining and evolving academic programs and in translating research into teaching and collaborative initiatives. Though not an active GitHub presence is listed, his steady academic trajectory indicates a focus on scholarly impact and local technological development.
16 years of coding experience
Università degli Studi di Firenze
Github Skills (68)
agda10
nix10
combinatorics10
coq-library10
nixos10
linux10
computer-algebra-system10
coq10
homotopy-type-theory10
mathematics10
nixpkgs10
theorem-proving10
discrete-mathematics10
proof-assistant10
fluent-api10
Programming languages (12)
Github contributions (5)
maggesi/hol-light-docker
Nov 2018 - Aug 2019
Contributions:13 commits, 3 pushes, 1 branch in 9 months
massimo-nocentini/kanren-light
Jun 2017 - Feb 2020
Contributions:111 pushes, 1 branch in 2 years 8 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.