Sebastian Wolff
Applied Scientist at Simons Foundation
Minneapolis, Minnesota, United States
Summary
👤
Senior🎓
Top SchoolSebastian Wolff is an applied scientist with 13 years' experience specializing in verification and formal methods for concurrent and distributed systems, currently working at AWS while holding research positions at NYU and the Simons Foundation. He holds a summa cum laude PhD in Computer Science and has a strong track record turning deep theoretical techniques into practical solutions that improve real-world software reliability and safety. Sebastian’s work bridges academia and industry—he moved from a research role at Technische Universität Braunschweig to applied research at cloud-scale infrastructure—demonstrating an ability to scale formal reasoning to production-relevant problems. Based in Minneapolis, he is motivated by making complex systems provably correct and enjoys tackling problems where subtle concurrency bugs have outsized impact.
12 years of coding experience
Doctor of Philosophy (PhD) Candidate, Computer Science, Doctor of Philosophy (PhD) Candidate, Computer Science at Technische Universität Kaiserslautern & Fraunhofer ITWM KaiserslauternMaster of Science (M.Sc.), Informatik, 1,0, Master of Science (M.Sc.), Informatik, 1,0 at Technische Universität KaiserslauternDoctor of Philosophy (PhD), Computer Science, summa cum laude, Doctor of Philosophy (PhD), Computer Science, summa cum laude at Technische Universität Braunschweig
German, English
Github Skills (11)
pointer8
summaries8
checker7
heap6
thread6
linked-data6
multithreading5
lock-free5
data-structures5
modular4
django2
Programming languages (1)
Github contributions (5)
Wolff09/seal
Jan 2019 - May 2021
Contributions:1 release, 7 commits, 9 pushes in 2 years 5 months
Wolff09/Wolff09.github.io
Jul 2021 - Jan 2025
Contributions:36 pushes, 1 branch in 3 years 6 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.