Name:Ivan Kuraj

Country:Serbia and Montenegro

Affiliation:MIT CSAIL, USA

Research interests:Programming Languages, Program analysis, Automated reasoning