Zvonimir Pavlinovic


I am a fourth 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 the connections between abstract interpretation and type systems.

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