Shows
Building Better Systems#15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPAIn this episode, we chat with Dr. Kathleen Fisher, who was chair of the Computer Science department at Tufts University at the time of the interview. We talk about Kathleen’s experience in applying formal methods and PL theory to solve significant practical problems throughout her career. Equally important, we discuss how it came to be that she is practically a pro at golf!Watch all our episodes on the Building Better Systems youtube channel.Dr. Kathleen Fisher: https://www.darpa.mil/staff/dr-kathleen-fisher HACMS: https://www.darpa.mil/program/high-assurance-cyber-military-systems PADS: https://pad...2022-01-1055 min