Fosco Loregian
Consulente at Epoch AI
Tallinn, Harju County, Estonia
Summary
👤
Senior🎓
Top SchoolFosco Loregian is a category-theory specialist and consultant with over a decade of research and applied experience, currently working with Epoch AI and TalTech while maintaining a strong academic track record including postdoctoral positions at several European institutes. He holds a PhD in Geometry from SISSA and combines deep theoretical expertise with practical consultancy, especially where category theory intersects with formalized mathematics and functional programming in Haskell. Fosco is known in the community as a "coend sifu," publishes technical TeX notes, and contributes to applied categorical projects through networks like Compose. He brings a habit of daily, focused category-theoretic thinking to both research and industry problems, translating abstract structures into usable tools. Beyond mathematics, he pursues constructed languages like Esperanto and Toki Pona, reflecting a taste for minimal, elegant systems both formal and human.
10 years of coding experience
Master of Science (MSc), Mathematics, 110/110, Master of Science (MSc), Mathematics, 110/110 at Università degli Studi di PadovaDoctor of Philosophy (PhD), Geometry, Doctor of Philosophy (PhD), Geometry at Scuola Internazionale Superiore di Studi Avanzati di Trieste
Italian, English, French
Stackoverflow
132reputation
823reached
0answers
3questions
Github Skills (26)
bengali10
pcm10
agda9
dpc9
italia9
type-theory9
homotopy-type-theory9
automata-theory8
dependent-types8
bioinformatics8
latex7
tex6
idris6
python6
regex6
Programming languages (6)
Github contributions (5)
tetrapharmakon/tetrapharmakon.github.io
Oct 2017 - Oct 2022
Contributions:340 commits, 9 PRs, 626 pushes in 5 years 1 month
tetrapharmakon/teamim
Feb 2017 - Apr 2021
Contributions:8 pushes, 1 branch in 4 years 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.