Name:Zvonimir Pavlinovic

Country:United States

Affiliation:Google, USA

Research interests:programming languages, type systems, abstract interpretation, automated program debugging and repair