Zvonimir Pavlinovic

cropped-IMAG0418.jpgI 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 contact me.