Senior Software Engineer, Google
Adjunct Lecturer, TU Munich
Education: Ph.D. (2016), University of Edinburgh
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.