Luca Di Stefano
University Assistant at Technische Universität Wien
Vienna, Austria
Summary
👤
Senior🎓
Top SchoolLuca Di Stefano is a research-focused software engineer and university assistant with 14 years of experience in formal modelling and verification of agent-based and collective adaptive systems. He develops domain-specific languages and formally defined semantics to concisely describe agent behaviour, and advances state-of-the-art verification techniques—ranging from bounded model checking to symbolic and explicit-state methods—to analyse emergent system properties. His career spans postdoctoral roles at Inria and the University of Gothenburg, teaching modelling and verification at Polytech Paris‑Saclay, and a PhD in computer science from GSSI, reflecting a strong mix of theory, tooling and instruction. Based in Vienna, he pairs deep formal methods expertise with practical system migration and software maintenance experience from industry internships, and he advocates reproducible research practices (yes, he version-controls his LaTeX).
14 years of coding experience
3 years of employment as a software developer
Master's in Computer Science and Systems Engineering (Ingegneria Informatica e Automatica), Ingegneria informatica, 110/110 cum laude, Master's in Computer Science and Systems Engineering (Ingegneria Informatica e Automatica), Ingegneria informatica, 110/110 cum laude at Università degli Studi dell'AquilaDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at GSSI - Gran Sasso Science Institute
Italian, English, French, Swedish
Github Skills (100)
interpretation10
pixelfed10
activitypub10
mastodon10
electron10
typescript10
checker10
prototyping10
docker10
sat10
editor9
abstract-interpretation9
smt9
cli9
visual-studio9
Programming languages (10)
Github contributions (5)
lou1306/hugo-type-theme
Mar 2017 - Dec 2024
Contributions:27 pushes, 1 tag in 7 years 10 months
hugohugo-theme
labs-lang/sliver
May 2018 - Nov 2024
Contributions:15 releases, 84 pushes, 9 branches in 6 years 6 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.