Karthikeyan Bhargavan - Prosecco

Karthikeyan Bhargavan
Personal Data
Date of Birth
Nationality
Languages
Address
Phone
Email
Web
7 March, 1976
India
English, Hindi, Tamil, French
INRIA Paris-Rocquencourt, 23 avenue d’Italie, Paris 75013, France
+33 1 39 63 59 45
[email protected]
http://prosecco.inria.fr/personal/karthik
Education
2012
H.D.R. (habilitation à diriger des recherches)
École normale supérieure, Paris, France
Title: Towards the Automated Verification of
Cryptographic Protocol Implementations
Date: May 2012
1997–2003
Ph.D., University of Pennsylvania
Dept. of Computer and Information Science, Philadelphia PA, USA
Supervisor : Carl A. Gunter
Title: Network Event Recognition
Date: December 2003
1997–1999
M.S., University of Pennsylvania
Master of Science in Engineering
Dept. of Computer and Information Science, Philadelphia PA, USA
Date: August 1999
1993–1997
B.Tech., Indian Institute of Technology
Bachelor of Technology
Dept. of Computer Science and Engineering, New Delhi, India
Employment
2015–Present
Directeur de recherche, INRIA, Paris-Rocquencourt France
Research team leader of the PROSECCO project
Principal Investigator of the ERC CRYSP project
Research on programming languages and security.
Starting Date: 1 January, 2015
2009–Present
Chargé d’enseignement, Ecole Polytechnique, Paris France
Part-time lectures in Computer Science.
Starting Date: 1 September, 2009
2009–2014
Chargé de recherche contractuel, INRIA, Paris-Rocquencourt France
Research on programming languages and security.
Starting Date: 1 October, 2009
2004–2009
Researcher, Microsoft Research, Cambridge UK
Research on web services security, formal verification, virtualization.
Starting Date: 1 October, 2004
2002–2004
Post-Doctoral Researcher, Microsoft Research, Cambridge UK
Research on web services security, network protocol analysis, replication.
Starting Date: 2 December 2002
2000-2001
Research Consultant, Bell Laboratories, Lucent Technologies, Naperville USA
Research on formal network monitoring.
2 months of consultancy spread over one year.
1997–2002
Graduate Research Fellow, University of Pennsylvania, Philadelphia USA
Department of Computer and Information Science
Research on formal analysis of network protocols under Prof. Carl A. Gunter
Starting Date: September 1997
Grants
2010–2015
2014–2018
2013–2014
Principal Investigator, ERC Starting Independent Researcher Grant 2010
Title: CRYSP: A Novel Framework for Collaboratively Building
Cryptographically Secure Programs and their Proofs
Co-Investigator, ANR AJACS
Title: Analyses of JavaScript Applications: Certification and Security
Co-Investigator, OSEO FUI PISCO
Title: Plate-forme d’Intgration de Services de Confiance
Professional Activities
2006-2015
2002–Present
Program Committee Member
IEEE Security & Privacy (Oakland 2016)
ACM Conference on Computer and Communications Security (CCS 2015)
Principles of Programming Languages (POPL 2015)
Principles of Security and Trust (POST 2015)
Symposium On Applied Computing (Security Track 2015)
Workshop on Programming Languages and Analysis for Security (PLAS 2013)
International Workshop on Behavioural Types (BEAT 2013)
CryptoForma Workshop (2013)
Modelling and Verifying Parallel Processes (MVPP 2010),
Interaction and Concurrency Experience (ICE 2010)
International Workshop on Security and Trust Management (STM 2009)
Workshop on the Rise and Rise of the Declarative Datacenter (R2D2 2008)
ACM Symposium on Applied Computing (SAC-SVT Track 2008)
ACM Workshop on Formal Methods in Security Engineering (FMSE 2008)
International Workshop on Web Services and Formal Methods (WS-FM 2005-2009)
International Conference on Computer-Aided Verification (CAV 2006)
Journal and Conference Reviewer,
Information and Computation,
ACM Transactions on Programming Languages and Systems,
IEEE Security and Privacy,
ACM Conference on Computer and Communications Security,
ACM Symposium on Principles of Programming Languages
European Symposium on Programming