Ben Holland is a Principal Software Engineer at Apogee Research where he works on projects focused on complexity management and reasoning with ambiguity. His past work experience has been in program analysis research at Iowa State University, mission assurance capabilities at MITRE, government systems integrity at Rockwell Collins, and reliable systems engineering at Wabtec Railway Electronics.

Ben holds a PhD in Computer Engineering with a focus on secure and reliable computing, a M.S. degree in Computer Engineering and Information Assurance, a B.S. in Computer Engineering, and a B.S. in Computer Science. He was a member of Iowa State University’s Knowledge-Centric Software Lab where he taught Software Engineering 421 and worked on DARPA’s Automated Program Analysis for Cybersecurity (APAC) and Space/Time Analysis for Cybersecurity (STAC) programs.