A Twist on a Coding Interview Question
With my postdoctoral appointment at the University of Pennsylvania coming to an end this summer, I’m in the process of finding a new job. And even though thi...
Welcome!
I am a computer scientist broadly interested in programming languages, distributed systems, and formal verification and testing. I am currently employed as a software engineer at Google.
Before joning Google, I was a postdoctoral researcher in Rajeev Alur’s group at the University of Pennsylvania, and 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.
Recent Posts
New Website
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 ...