Maxwell Troy Bland

Registered user since Mon 3 Jun 2019

Name: Maxwell Troy Bland

Bio: I am a graduate student and security researcher in the Systems and Networking group at the University of California, San Diego. My work focuses on the development of verified software systems, the automation of program analysis techniques for embedded device firmware, and the use of network protocols in the security of distributed systems.

Affiliation: University of California at San Diego, USA

Personal website:

Research interests: Security, Programming Languages


PLDI 2019Author of Lazy Counterfactual Symbolic Execution within the PLDI Research Papers-track