After several months of putting it off, I have finally retired my old website and replaced it with a shiny new one. And it was about time. I created the old ...
I am a postdoctoral researcher in Rajeev Alur’s group at the University of Pennsylvania. Broadly, my research interests lie at the intersection of programming languages, distributed systems, and formal verification and testing. More specifically, I am currently pursuing two research directions. First, I am interested in distributed stream processing, both from the foundational point of view (what is a distributed stream processing computation?) and the practical point of view (how to implement an efficient stream processing system?). Second, I am interested in designing effective algorithms for finding notoriously elusive concurrency bugs in distributed systems.
Previously, I was a doctoral researcher at the Max Planck Institute for Software Systems advised by Rupak Majumdar. Even before, I finished my undergraduate studies at the Department of Mathematics, University of Zagreb.