Senior Software Engineer, Google Adjunct Lecturer, TU Munich Education: Ph.D. (2016), University of Edinburgh

About

I’m a software engineer with a systems research background. My focus is the rigorous design and engineering of reliable high-performance systems: from distributed systems, to programming models, runtime systems and operating systems, all the way down to processor architecture.

Specialities: systems programming, parallel programming, concurrency, memory models, software verification, hardware architectures.