Marco Faella
Associate Professor
Naples, Campania, Italy
Summary
👤
Senior🎓
Top SchoolMarco Faella is an Associate Professor of Computer Science at the University of Naples Federico II with over a decade of academic and research experience in formal methods, automata, logic, and quantitative probabilistic models. He has authored numerous journal and conference papers and blends rigorous theoretical research with practical teaching across Programming, Operating Systems, Software Engineering, and Compiler Construction. His work bridges game-theoretic approaches to verification and synthesis with real-time and hybrid system models, often collaborating with international teams and hosting visiting appointments such as at UPenn and UCSC. Trained at Università degli Studi di Salerno (Laurea and PhD), he combines deep formal expertise with hands-on mentorship of graduate students and a track record of translating complex theoretical results into verifiable software analyses.
13 years of coding experience
11 years of employment as a software developer
Ph.D., Computer Science, Ph.D., Computer Science at Università degli Studi di Salerno
Italian, English, Spanish, French
Github Skills (18)
pen8
ubuntu8
pdf8
pdf-viewer8
arch7
wacom7
handwriting7
pdf-annotation6
debian6
linux5
windows5
suse5
macos4
layout2
eagle2
Programming languages (2)
Github contributions (5)
Seachal/ExercisesInStyle
Jan 2019 - Jul 2020
Contributions:39 commits in 1 year 5 months
mfaella/JLiquidFun
Apr 2016 - May 2021
Contributions:9 commits, 7 pushes, 1 branch in 5 years 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.