Sebastian Wolff, Ph.D.

Sebastian Wolff will be joining the Courant Institute of Mathematical Sciences at New York University as a postdoctoral associate. He just submitted his Ph.D. thesis at the Technical University of Braunschweig, where he is a member of the Institute of Theoretical Computer Science under the supervision of Roland Meyer. Previously, Sebastian received his B.S. and M.S. in computer science from the Technical University of Kaiserslautern.

Wolff is interested in the analysis and verification of concurrent computer systems. He has contributed the first automated verification approach for lock-free data structures that manually manage their memory. His works combine theory and practice, involving and reasoning about the semantics of programming languages, static program analyses ranging from Floyd-Hoare-style proof systems to abstract interpretation to model check, and domain-specific programming patters.

Wolff’s goal is to make automated verification practical and an industry standard.