Go offline with the Player FM app!
#15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA
Manage episode 317199284 series 2824530
In 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://pads.cs.tufts.edu/about.html
From Dirt to Shovels paper: https://www.cs.princeton.edu/~dpw/papers/learningpopl08-final.pdf
Hancock: https://dl.acm.org/doi/abs/10.1145/331960.331981
PLMW: http://sigplan.org/Conferences/PLMW/ CRAW: https://cra.org/cra-wp/
NSF Broadening Participation in Computing: https://beta.nsf.gov/funding/opportunities/broadening-participation-computing-bpc-0
Joey Dodds: https://galois.com/team/joey-dodds/
Shpat Morina: https://galois.com/team/shpat-morina/
Galois, Inc.: https://galois.com/
Contact us: podcast@galois.com
22 episodes
Manage episode 317199284 series 2824530
In 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://pads.cs.tufts.edu/about.html
From Dirt to Shovels paper: https://www.cs.princeton.edu/~dpw/papers/learningpopl08-final.pdf
Hancock: https://dl.acm.org/doi/abs/10.1145/331960.331981
PLMW: http://sigplan.org/Conferences/PLMW/ CRAW: https://cra.org/cra-wp/
NSF Broadening Participation in Computing: https://beta.nsf.gov/funding/opportunities/broadening-participation-computing-bpc-0
Joey Dodds: https://galois.com/team/joey-dodds/
Shpat Morina: https://galois.com/team/shpat-morina/
Galois, Inc.: https://galois.com/
Contact us: podcast@galois.com
22 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.