Allison Bishop studies adversarial behaviors in complex systems, and is motivated by the challenge of designing systems to be resilient against a wide range of failures and attacks. She has worked extensively in cryptography, developing new techniques for building and reasoning about cryptographic algorithms. She has also worked in distributed computing, particularly on illuminating the fundamental limitations of natural classes of algorithms for achieving consensus in distributed computing systems.
Bishop is also currently working for The Investor’s Exchange (IEX) to design and evaluate systemic defenses against predatory high frequency trading strategies. The common philosophy underlying all of her current research projects is that a rigorous theoretical framework can be applied and adapted to better understand and design real-world systems, where practical motivations and constraints intrude upon the cleanliness of purely theoretical models. She views mathematics and computer science theory as key tools for achieving high performance and security, but feels that theory will only fulfill its true potential for impact if theoreticians are willing to engage with the messy realities of how people deploy and interact with computational systems.
Bishop received a BA in mathematics from Princeton University in 2006, a certificate of advanced study in mathematics from the University of Cambridge in 2007, and a PhD in computer science from the University of Texas at Austin in 2012.