Marcel Moosbrugger

Research Assistant at Technische Universität Wien

Vienna, Austria
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
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.
code11 years of coding experience
job4 years of employment as a software developer
bookVienna University of Technology
bookProof Theory Summer School, Proof Theory Summer School at Ghent University
bookHandelsakademie Matura, Applied Economics, Handelsakademie Matura, Applied Economics at Bezauer Wirtschaftsschulen
bookSAT/SMT/AR Summer School, SAT/SMT/AR Summer School at Instituto Superior Técnico
languagesItalian, French, English, German
github-logo-circle

Github Skills (15)

jes10
component-development10
javascript10
front-end-development10
jestjs10
react10
jtest10
css9
sass9
admin8
symfony-ux7
symfony7
php6
ui-design6
cms5

Programming languages (9)

TypeScriptJuliaC++ShellRustJavaScriptPHPHaskell

Github contributions (5)

github-logo-circle
sulu/sulu

Jul 2017 - Aug 2017

Core framework that implements the functionality of the Sulu content management system
Role in this project:
userFront-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.
content-management-systemsuluphpsymfonycms
mmsbrggr/dotfiles

Sep 2018 - Aug 2025

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.
Request Free Trial