Francesco Magliocca
PHD Candidate
Valle di Maddaloni, Campania, Italy
Summary
👤
Senior🎓
Top SchoolFrancesco Magliocca is a PHD candidate and functional programming enthusiast with 15 years of experience bridging mathematics and software engineering. He focuses on Programming Language Theory, Compilers, Logic and Foundations of Mathematics, applying Mathematical Logic to Semantic Web, Database Theory and Knowledge Representation in his current research. Francesco has practical experience building web applications in Go, Haskell and Elm, including a professional Haskell/Elm project at MigaMake. Based in Campania, Italy, he pairs rigorous academic training (a mathematics degree from Università degli Studi di Napoli Federico II) with hands-on development, making him adept at turning formal concepts into working systems. An interesting thread through his profile is the blend of deep theoretical interests with production web engineering—comfortable both writing proofs and shipping code.
14 years of coding experience
Apple Developer Academy @Unina Federico IIAlfonso Maria de' LiguoriLaurea triennale, Mathematics, 106, Laurea triennale, Mathematics, 106 at Università degli Studi di Napoli Federico II
Github Skills (73)
vim10
editor10
kakoune10
code-editor10
json10
text-editor10
console-application10
plugin10
chessboard9
javascript9
languagetool9
cabal9
json-schema9
language-server-protocol9
servant9
Programming languages (9)
Github contributions (5)
Franciman/Franciman.github.io
May 2015 - Apr 2019
Contributions:29 pushes, 1 branch in 3 years 11 months
Franciman/Tesi
Oct 2019 - Dec 2019
Contributions:49 commits, 34 pushes in 1 month
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.