About

I’m a Software Engineer, with focus on 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.

Contact