About

portrait

I am currently a PhD student working in distributed systems. My other reasearch-interests include language semantics, formal verification, and operating systems.

CV