Marcel Moosbrugger is a research-minded software engineer with 11 years of industry experience who now combines rigorous theoretical computer science with practical system-building as a Research Assistant at TU Wien. He focuses on probabilistic programming and automated verification, bridging machine learning techniques with logical and formal methods to produce more reliable, provably correct systems. His background spans full-stack development—contributing front-end components and tests to the open-source Sulu CMS—alongside academic research stints at Purdue and ENS Paris-Saclay. Marcel has a strong academic record (BSc/MS with top grades and ongoing PhD work) and hands-on experience teaching algorithms, complexity theory, and organizing coursework. He also brings uncommon skills in communication and pedagogy from leading public-speaking workshops, which he leverages when presenting complex technical ideas clearly. Based in Vienna, he builds reusable, well-tested components and novel verification methods that connect theory to deployable software.
11 years of coding experience
4 years of employment as a software developer
Vienna University of Technology
Proof Theory Summer School, Proof Theory Summer School at Ghent University
Core framework that implements the functionality of the Sulu content management system
Role in this project:
Front-end Developer
Contributions:14 commits, 168 PRs, 319 pushes in 1 month
Contributions summary:Marcel primarily contributed to the front-end development of the Sulu CMS admin bundle. They implemented and refined several UI components, including a rectangle selection tool, image rectangle selection, select, radio, checkbox, toggler and cropped text components. The commits also involved adding tests for these components, demonstrating a focus on component-level functionality and ensuring code quality. They also refactored existing components and added generic implementations to enhance code reusability.
Contributions:14 pushes, 1 branch in 6 years 11 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.