I am a postdoctoral researcher at TU Darmstadt in Germany, from where I previously obtained a Ph.D. in computer science. My research interests span a variety of topics related to the design and analysis of dependable software systems from operating system design to system-level test efficiency.