Quantitative Synthesis for Concurrent Programs

nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java classes and abstract interpretation with parameterized predicates. Education 2009 PhD in Computer Science, Computer and Information Science Department, University of Pennsylvania, Philadelphia, USA. Thesis: Software Model Checking for Confidentiality. Advisor: Rajeev Alur. 2003 DEA diploma, École normale supérieure (ENS), Paris, France. Employment 2009 - present Postdoctoral Researcher, IST Austria, Klosterneuburg, Austria. Group of Thomas A. Henzinger. Summer 2005, 2007 Research Intern, Microsoft Research India (2007), NEC Laboratories America (2005). Publications Top 5 publications are highlighted. Refereed Conference Publications [1] Quantitative Synthesis for Concurrent Programs. Pavol Černý, Krishnendu Chatterjee, Thomas Henzinger, Arjun Radhakrishna, Rohit Singh. In 23rd International Conference on...

• Type: Journal
• Year: 2011
• Where: CORR
• Authors: Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
• Keywords: CORR 2011, Education, Krishnendu Chatterjee, Pavol Erný, Rajeev Alur