Domenico Bianculli
Deputy Study Program Director Of The Master In Space Technologies And Business at University of Luxembourg
Luxembourg
Summary
👤
Senior🎓
Top SchoolDomenico Bianculli is an associate professor and chief scientist in software engineering at the University of Luxembourg, leading the Software Verification and Validation research group with over a decade of experience in academia and applied research. He specializes in specification, run-time verification, log and program analysis, and regulatory compliance, translating formal methods into practical validation techniques for real-world systems. A PhD from USI under Carlo Ghezzi, he has progressed from research associate to Deputy Study Program Director of the Master in Space Technologies and Business, bridging rigorous software engineering research with space industry education. His background includes a stint as a visiting researcher at NASA Ames and industry exposure at Mission Critical Technologies, highlighting a rare mix of academic depth and operational experience in safety- and compliance-critical domains.
11 years of coding experience
13 years of employment as a software developer
Certification, Certification at VenturelabMaster, Master at Politecnico di MilanoPhD, PhD at Università della Svizzera italiana (USI)Liceo Scientifico Statale "G. Peano" - MarsiconuovoProgramming languages (1)
Github contributions (4)
AmeniBF/GemRBAC-model
Nov 2014 - Nov 2014
Contributions:4 commits in 1 day
SNTSVV/SB-TemPsy
Sep 2020 - Dec 2020
Contributions:1 push in 3 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.