I joined Meta FinTech (previously Novi) in 2018. Before that I worked at Microsoft for more than 15 years, mostly in Research but also briefly in Azure. I work on the semantics and verification of Move bytecode. I am also interested in implementing verified distributed and concurrent systems.
Programming languages, program verification, concurrency