Brandon Hall

Brandon Hall is a Software Engineer at Carnegie Robotics LLC, with experience dating back to January 2020. Previously, Brandon served as an intern at NASA from May 2019 to August 2019, focusing on assessing the benefits of formal methods for software verification within NASA's Independent Verification and Validation program. During this internship, Brandon compared the Polyspace verification tools to the Klocwork static code analyzer. Additionally, Brandon worked as a College Student Tech at Leidos from May 2017 to August 2017. Brandon holds a degree from West Virginia University, completed in 2020.