Brandon is a PhD student at Carnegie Mellon, researching formal verification of cyber-physical systems, advised by Andre Platzer. He also completed his bachelor's degree at Carnegie Mellon after transferring from Drexel University. He has also worked on computer-aided design software at Bentley Systems, Inc. and interned at Electronic Arts. Brandon's research seeks to answer the question: How can we mathematically guarantee safety of real physical systems if mathematical models must always make simplifying assumptions? The answer is a comprehensive end-to-end verification approach: after proving the model-end correct, implementation-end code is automatically extracted and automatically proven to have the same safety guarantee as the model. On the user-facing end, we explore modeling and proof formats which improve readability, maintainability, and ability to extract code.
Ph.D. , Computer ScienceClass of 2021