• #15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA

  • Jan 10 2022
  • Length: 56 mins
  • Podcast

#15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA

Listen for free

View show details

  • Summary

  • 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
    Show More Show Less
Show More Show Less

What listeners say about #15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA

Average customer ratings

Reviews - Please select the tabs below to change the source of reviews.

Audible.co.uk reviews

Amazon reviews
No Reviews are Available