Zvonimir Pavlinovic

I am a fifth year PhD student in computer science at NYU. I am privileged to be advised by Thomas Wies. My research interests lie in program verification and theory of programming languages, with a current focus on designing type systems using abstract interpretation.

This webpage contains basic information about my professional life including publications, news, and ways to reach me.