Quantitative Synthesis for Concurrent Programs

11 years 11 days ago
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...
Pavol Cerný, Krishnendu Chatterjee, Thomas
Added 13 May 2011
Updated 13 May 2011
Type Journal
Year 2011
Where CORR
Authors Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
Comments (0)