I am a Principal Applied Scientist at Amazon with the S3 Automated Reasoning Group . From 2018 to 2022 I was a researcher at Arm . Before that, from 2015 to 2018 I was an Assistant Professor at the Modeling and Verification team of the Institut de Recherche en Informatique Fondamentale (IRIF) lab at the Université Paris Diderot -- Paris 7 . From 2012 to 2015 I served as Visiting Assistant Professor at Purdue University in the C.S. department where I worked with Suresh Jagannathan and Jan Vitek . During 2011
My current research interests are distributed systems security and consistency . Hardware and software relaxed memory models , the semantics of shared memory and distributed systems, verified compilers, and the verification of concurrent and distributed algorithms. I am broadly interested in verification and formal methods, concurrency, distributed systems, and security.