Experience

 
 
 
 
 
May 2015 – July 2015
Bangalore

Microsoft Research India

Software Engineering Intern

TruMP: Trusted Multi Party Computations using SGX
 
 
 
 
 
May 2014 – July 2014
Paris

Laboratory for Specification and Verification, ENS

Research Intern

Nash Equilibrium in Pushdown Games
 
 
 
 
 
May 2013 – July 2013
Nancy

Microsoft Research- INRIA Joint Centre

Research Intern

Developing libraries for TLA-Proof System

Publications

. Almost Event-Rate Independent Monitoring. Journal: Formal Methods in System Design (FMSD) [Accepted] , 2018.

PDF Code

. Optimal Proofs for Linear Temporal Logic on Lasso Words. In Automated Technology for Verification and Analysis (ATVA), [Distinguished Paper Award] , 2018.

Preprint PDF Code Slides DOI

. Game-based cryptography in HOL. In Archive of Formal Proofs, 2017.

PDF Source Document

. Almost Event-Rate Independent Monitoring of Metric Temporal Logic. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2017.

Preprint PDF Code Slides DOI

Talks

Event-Rate Independence in Runtime Monitoring
Dec 8, 2016
TruMP: Trusted Multi Party Computation on SGX Enclaves
Jul 10, 2015
Logics for Dependence and Independence
Oct 14, 2014

Teaching

I have been a Teaching Assistant for the following courses at ETH Zurich:

  • Informatics for Mathematics and Physics (IFMP), Fall 2017
  • Formal Methods and Functional Programming (FMFP), Spring 2017
  • Informatics for Mathematics and Physics (IFMP), Fall 2016
  • Formal Methods and Functional Programming (FMFP), Spring 2016

Contact

  • bhattb@usi.ch
  • bhargavbh
  • Software Institute, USI Lugano, via Giuseppe Buffi 13, 6900 Lugano
  • On Appointment: 309 (Level 3), Software Institute, Via S Balestra 22, 6900 Lugano.