Kathleen Fisher
# Kathleen Fisher

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

Professor Fisher is Chair of Computer Science at Tufts University and one of the authors of the PADS data description language and the Moby experimental concurrent programming language. She is a past Chair of the ACM Special Interest Group in Programming Languages (SIGPLAN) and has chaired three of their major conferences, ICFP in 2004, OOPSLA in 2011, and PLDI in 2019. She co-founded SIGPLAN’s Programming Language Mentoring Workshop (PLMW) Series in an effort to increase the number of women and underrepresented minorities in computer science and was Co-Chair of the Computing Research Association's Committee on the Status of Women for three years. In 2010 she was elected as a Fellow of the Association for Computing Machinery "for contributions to programming language design, theory, and practice, and for service to the computing community." She is also a member of the Board of Trustees of Harvey Mudd College.

## Early life and education

Fisher was born in 1969 in San Marino, California. Her father was an investment professional and her mother was a homemaker. She graduated from San Marino High School before attending Stanford University. In her freshman year she decided to take a computer science course to learn how to use the IBM PS/2 Model 60 computer her dad had bought her. Interested in the material she took another class and came across the Halting Problem. She found the proof behind it simple yet elegant and the experience marked a turning point in her interest in computer science. She graduated Stanford with distinction in 1991 with a B.Sc in Math and Computational Science and stayed on at Stanford for her graduate studies. In 1996 she graduated with a Ph.D in Computer Science under the supervision of Dr. John C. Mitchell. Her thesis was entitled Type Systems for Object-Oriented Languages.

## Career

### Early career

After graduation Fisher started working at AT&T Labs Research. In April 2002 she was promoted to Principal Member of Technical Staff. From July 2008 to March 2011, she was also a Consulting Professor in Computer Science at Stanford.

### DARPA

In 2011 she left AT&T Labs to become a Program Manager at DARPA. At DARPA she founded and ran the High-Assurance Cyber Military Systems (HACMS) and the Probabilistic Programming for Advancing Machine Learning (PPAML) programs. 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. Initially, the red team was able to quickly compromise the quadcopter, but by the end of the program they were not able to break into the quadcopter at all. This program was a huge success and has since been transitioned to more complex vehicles such as Boeing’s Unmanned Little Bird. Fisher left DARPA in July 2014 but continues to chair their ISAT Study Group.

### Tufts University

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. At Tufts she has taught Programming Languages as well as seminars in Programming Language Design.

## Honors and awards

Fisher has received many honors, including:

* 2021 Fellow of the American Association for the Advancement of Science.
* SIGPLAN Distinguished Service Award, 2013.
* Distinguished PLDI Paper, 2012.
* SIGPLAN CACM Research Highlights Nominated Paper, 2012.
* PLDI Best Paper Award, 2011.
* ACM Fellow, 2010.
* SIGPLAN CACM Research Highlights Nominated Paper, 2008.
* ACM Distinguished Scientist, 2007.
* Best Research Paper Award, KDD, 2000.
* NSF Mathematical Sciences Postdoctoral Research Fellowship, 1996, declined.
* The University of California President’s Postdoctoral Fellowship, 1996, declined.
* The Student Service Award, Stanford Computer Science Department, 1995.
* Hertz Foundation Fellowship, 1994 to 1996.
* Finch Fellowship, 1993.
* NSF Graduate Research Fellowship, 1991 to 1994.
