Kathleen Shanahan Fisher is an American computer scientist who specializes in programming languages and their implementation.

She found the proof behind it simple yet elegant and the experience marked a turning point in her interest in computer science.

The HACMS program focused on leveraging Formal Methods to secure military vehicles from hacking.

The program utilized a red team of hackers which attempted to break into a quadcopter with full knowledge of the system using any method besides a physical connection.

[1] Concurrent to her research at DARPA, Fisher accepted a job as a Professor of Computer Science at Tufts University where she still works today as the Department Chair.

Her current research focuses on developing domain-specific languages, program synthesis, and using formal methods to secure software.