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

Building Better Systems

Вміст надано Galois Inc., Joey Dodds, and Shpat Morina. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Galois Inc., Joey Dodds, and Shpat Morina або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.

2+ y ago 55:52

MP3•Головна епізоду

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/

22 епізодів

#Tech #Podcasting Education #Government #Galois Inc #Joey Dodds #Shpat Morina