Jean’s research interests are in programming language design and software verification: the goal of her work is to help people write the programs they intended to write. For her PhD she developed a programming model makes the machine, rather than the programmer, responsible for enforcing information flow policies for security and privacy. During the 2015-2016 academic year, visiting at Harvard Medical School, she developed tools for creating and understanding program-based models of protein signaling. Moving forward, she hopes to make deeper connections between reasoning about software systems and reasoning about physical systems. To improve the impact of academic research, Jean is also interested in science communication, bridging gaps between academia and industry, and promoting diversity in STEM.