Marcus Voelp
Associate Professor
Esch-sur-Alzette, Luxembourg, Luxembourg
Summary
👤
Senior🎓
Top SchoolMarcus Völp is an associate professor and acting head of the CritiX research group at SnT, University of Luxembourg, with 18 years of experience advancing resilient computing for cyber-physical and embedded systems. He specializes in ultra-reliable operating systems, fault- and intrusion-tolerant real-time systems, and novel concepts like intransitive trust and hierarchical hybridization to boost dependability from chip scale to distributed deployments. His work bridges rigorous academic research and practical system design, exploring how small-scale distributed properties can inform large-scale resilient architectures. Based in Esch-sur-Alzette, he leads interdisciplinary efforts that combine security, reliability and real-time guarantees for critical systems. Colleagues know him for pursuing unconventional trust models and for translating theoretical insights into resilient systems-on-a-chip prototypes.
18 years of coding experience
5 years of employment as a software developer
Karlsruhe Institute of Technology (KIT)Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Technische Universität Dresden
Github Skills (12)
axiom10
tactics10
mathematica10
dynamical-systems9
tactical9
differential-equations9
proof8
verification8
scala8
theorem-proving6
theorem6
hybrid4
Programming languages (1)
Github contributions (4)
LS-Lab/KeYmaeraX-release
Nov 2013 - Feb 2015
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Contributions:45 commits in 1 year 3 months
hybrid-systemsprovertheoremtheorem-provertheorem-proving
angavrilov/olmar
Dec 2007 - Jan 2008
Contributions:7 commits in 24 days
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.