Alberto Bombardelli
Program Specific Postdoctoral Researcher at Kyoto University (京都大学)
Kyoto, Japan
Summary
👤
Senior🎓
Top SchoolAlberto Bombardelli is a computer scientist and program-specific postdoctoral researcher at Kyoto University with a decade of experience in formal verification and temporal logic. He holds a PhD from Università di Trento and graduated summa cum laude from Sapienza, blending deep theoretical training with practical tool development. His background includes hands-on C development on the OCRA formal verification tool at Fondazione Bruno Kessler and a focused visiting research stint at IMDEA investigating asynchronous hyperproperties with past and finite semantics. Alberto’s work spans both theory and implementation, connecting logic research to usable verification tooling. Based in Kyoto, he brings an international academic trajectory and a track record of tackling subtle temporal-logic problems that bridge proof techniques and software engineering.
10 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Università di TrentoLaurea Magistrale LM in scienze e tecnologie informatiche, Computer science, 110/110 cum laude, Laurea Magistrale LM in scienze e tecnologie informatiche, Computer science, 110/110 cum laude at Sapienza Università di RomaLaurea triennale in Scienze e Tecnologie Informatiche, Scienze informatiche, 97/110, Laurea triennale in Scienze e Tecnologie Informatiche, Scienze informatiche, 97/110 at Università degli Studi di Trento
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (13)
lottery3
lda2
logic2
fsm1
python1
numba1
formal-verification1
formal-methods1
automata1
checker1
fsm-library1
satisfiability1
transition1
Programming languages (3)
Github contributions (5)
caramellaio/MeinShell
May 2018 - May 2018
Contributions:52 commits, 38 pushes, 1 branch in 12 days
caramellaio/StatNuSMV
Jan 2020 - Nov 2020
Contributions:14 pushes, 1 branch in 9 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.