Sebastian Wolff
Applied Scientist at New York University
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.
13 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 (3)
linked-data6
lock-free5
django2
Programming languages (1)
Github contributions (5)
Wolff09/TMRexp
Oct 2015 - Sep 2021
A novel thread-modular linearisability checker for heap-manipulating lock-free singly-linked data structures exploiting pointer race freedom and thread summaries.
Contributions:13 releases, 26 commits, 4 PRs in 5 years 11 months
linked-datalock-free
Wolff09/seal
Jan 2019 - May 2021
Contributions:1 release, 7 commits, 9 pushes in 2 years 5 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.