Assistant Professor of Computer Science, Carnegie Mellon University. Interested in developing programming models that are both easy to use and provide strong guarantees of trustworthiness. Has been dedicated to increasing the impact of computer science research in three main ways: promoting diversity in STEM; improving science press coverage about technical topics; and facilitating the transfer of ideas between academia and industry so that good research has an impact in the real world.