Giuseppe Spallitta
Postdoctoral Associate
Houston, Texas, United States
Summary
👤
Senior🎓
Top SchoolGiuseppe Spallitta is a postdoctoral associate at Rice University with nine years of experience bridging formal methods, probabilistic reasoning, and applied data science. He completed a PhD in Computer Science at Università di Trento after top‑ranked undergraduate and master’s degrees, and has contributed to SMT-based weighted model integration research published at UAI and AIJ through collaborations with KU Leuven. His work includes visiting research on model counting and enumeration, teaching formal methods, and industrial experience as a data scientist at SpazioDati, reflecting a mix of theoretical depth and practical impact. Based in Houston, Giuseppe brings strong mentoring experience from multiple tutoring and teaching roles and a proven ability to translate formal verification techniques into probabilistic verification tools. An often-overlooked strength is his track record of combining structure-aware SMT techniques with probabilistic inference to improve scalability in real-world verification tasks.
8 years of coding experience
1 year of employment as a software developer
Diploma di maturità, 100/100 with Honors, Diploma di maturità, 100/100 with Honors at Liceo Scientifico Santa Maria MazzarelloDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Università di TrentoExchange Student, Computer Science, Exchange Student, Computer Science at Aalto UniversityBachelor's degree, Computer Science, 110/110 with Honors, Bachelor's degree, Computer Science, 110/110 with Honors at Università degli Studi di Trento
Italian, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (12)
predicate8
sat-solver7
verification7
homotopy-type-theory6
tlaplus6
model-checking6
smt5
wmi5
abstraction5
machine-learning5
theorem-proving5
formal-methods5
Programming languages (2)
Github contributions (5)
giuspek/FormalMethods-2021
Mar 2021 - Mar 2022
Repository containing the exercises solved during the Lab lectures for the course of Formal Methods (a.k.a. "Module 1: Automated Reasoning" and "Module 2: Model Checking") for the academic year 2020/2021
Contributions:13 commits, 4 PRs, 15 pushes in 11 months
model-checkinghomotopy-type-theorytheorem-provingyear-2020module-2
giuspek/FormalMethods-2022
Mar 2022 - Jul 2022
Obsolete
Contributions:8 reviews, 21 commits, 12 PRs in 4 months
model-checkinghomotopy-type-theorytheorem-provingmodule-2checking
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.