Kathleen Fisher, DARPA Director, Advances Programming Language Research and Formal Verification
Kathleen Fisher, currently the Director of the Information Innovation Office at DARPA and an Adjunct Professor of Computer Science at Tufts University, is a prominent figure in the field of programming languages. Her foundational work includes providing the formal basis for the ANTLR parser generator. Fisher's research primarily focuses on the theory and practical applications of programming languages, with a particular emphasis on domain-specific languages and program synthesis. She developed Hancock, a tool designed for extracting signatures from data streams, and PADS, which facilitates the processing of ad hoc data formats. Additionally, Fisher managed the HACMS program at DARPA, a significant initiative that utilized formal verification techniques to eliminate exploitable bugs in vehicle software. Before her current roles, she was a researcher at AT&T Labs and served as the chair of the Tufts Computer Science department. She is recognized as an ACM Fellow and holds a PhD from Stanford University. 
