Michael Schwarz
Postdoctoral Research Fellow at National University of Singapore
Singapore
Summary
👤
Senior🎓
Top SchoolMichael Schwarz is a postdoctoral researcher and software engineer with a decade of experience bridging academic research and practical system development, currently at NUS after a long tenure at Technical University Munich. He holds a PhD from TUM and has a strong background in software engineering, verification of cyber-physical systems, and teaching, with hands-on experience in languages and tooling from C# desktop apps to concurrent architectures for classroom feedback systems. His work blends rigorous research—contributing to the DFG RTG ConVeY program—with pragmatic engineering, such as migrating optimization stacks and refactoring legacy code to introduce concurrency with minimal disruption. Internationally trained through exchanges in Waterloo, Delft, and Télécom Paris, he brings cross-cultural collaboration skills and a track record of shipping usable systems alongside publications and a maintained technical blog. Notably, he combines deep academic rigor with product-oriented thinking, making him adept at turning verification research into demonstrable tools and improvements.
10 years of coding experience
7 years of employment as a software developer
Master's degree Computer Science, Master's degree Computer Science at Technical University of MunichAthens programme Computer Science, Athens programme Computer Science at Télécom ParisAthens programme Computer Science, Athens programme Computer Science at Delft University of TechnologyExchange Computer Science, Exchange Computer Science at University of Waterloo
German, English
Stackoverflow
105reputation
3kreached
1answer
5questions
Github Skills (106)
race-detection10
intermediate10
program-analysis10
static-analysis10
abstract-interpretation10
artemis10
artificial-intelligence10
ssa10
ocaml10
source-code-analysis10
intermediate-language10
static-code-analysis10
static-analyzer10
opam9
lms9
Programming languages (10)
Github contributions (5)
michael-schwarz/dotfeedlib
Apr 2016 - Feb 2018
Contributions:1 release, 6 pushes, 1 branch in 1 year 10 months
goblint/GobWeb
Jun 2021 - Nov 2022
Website for the Static Analyzer Goblint
Contributions:7 reviews, 22 commits, 11 PRs in 1 year 5 months
static-analyzeranalyzer
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.