Kathleen Fisher

Last updated
Kathleen Shanahan Fisher
FisherProfile.jpg
NationalityAmerican
Alma mater Stanford University
Known forMoby programming language
AwardsACM Fellow
Scientific career
Fields Computer science
Institutions AT&T Labs
Tufts University
Doctoral advisor John C. Mitchell

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

Contents

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. [1] 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, [2] OOPSLA in 2011, [3] and PLDI in 2019. [4] 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. [5] 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." [6] 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. [1] 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. [7] 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. [7] 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. [1] In 1996 she graduated with a Ph.D in Computer Science under the supervision of Dr. John C. Mitchell. [1] [8] Her thesis was entitled Type Systems for Object-Oriented Languages. [9]

Career

Early career

After graduation Fisher started working at AT&T Labs Research. [1] 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. [1]

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. [10] This program was a huge success and has since been transitioned to more complex vehicles such as Boeing’s Unmanned Little Bird. [10] Fisher left DARPA in July 2014 but continues to chair their ISAT Study Group. [1]

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

Honors and awards

Fisher has received many honors, including: [1]

Related Research Articles

<span class="mw-page-title-main">Bjarne Stroustrup</span> Danish computer scientist, creator of C++ (born 1950)

Bjarne Stroustrup is a Danish computer scientist, known for the development of the C++ programming language. He led the Large-scale Programming Research department at Bell Labs, served as a professor of computer science at Texas A&M University, and spent over a decade at Morgan Stanley while also being a visiting professor at Columbia University. Since 2022 he has been a full professor at Columbia.

<span class="mw-page-title-main">Carnegie Mellon School of Computer Science</span> School for computer science in the United States

The School of Computer Science (SCS) at Carnegie Mellon University in Pittsburgh, Pennsylvania, US is a school for computer science established in 1988. It has been consistently ranked among the best computer science programs over the decades. As of 2024 U.S. News & World Report ranks the graduate program as tied for No. 1 with Massachusetts Institute of Technology, Stanford University and University of California, Berkeley.

The Programming Language Design and Implementation (PLDI) conference is an annual computer science conference organized by the Association for Computing Machinery (ACM) which focuses on the study of algorithms, programming languages and compilers. It is sponsored by the SIGPLAN special interest group on programming languages.

<span class="mw-page-title-main">Robert Harper (computer scientist)</span> Computer scientist

Robert William "Bob" Harper, Jr. is a computer science professor at Carnegie Mellon University who works in programming language research. Prior to his position at Carnegie Mellon, Harper was a research fellow at the University of Edinburgh.

Brent Hailpern is a computer scientist retired from IBM Research. His research work focused on programming languages, software engineering, and concurrency.

<span class="mw-page-title-main">Susan L. Graham</span> American computer scientist

Susan Lois Graham is an American computer scientist. Graham is the Pehong Chen Distinguished Professor Emerita in the Computer Science Division of the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley.

Peri Tarr received her BS in Zoology from the University of Massachusetts Amherst in 1986, and her MS and PhD in Computer Science from the University of Massachusetts Amherst. Between her BS and MS/PhD, she worked full-time at the University of Massachusetts Physical Plant, attempting to introduce an automated system to help with the Plant's operations. After receiving her PhD, she joined the IBM Thomas J. Watson Research Center as a Research Staff Member in 1996, where she worked on and led various projects relating to issues of software composition, morphogenic software, and aspect-oriented software development.

<span class="mw-page-title-main">David Ungar</span> American computer scientist

David Michael Ungar, an American computer scientist, co-created the Self programming language with Randall Smith. The Self development environment's animated user experience was described in the paper Animation: From Cartoons to the User Interface co-written with Bay-Wei Chang, which won a lasting impact award at the ACM Symposium on User Interface Software and Technology 2004.

Monica Sin-Ling Lam is an American computer scientist. She is a professor in the Computer Science Department at Stanford University.

<span class="mw-page-title-main">Kathryn S. McKinley</span> American computer scientist

Kathryn S. McKinley is an American computer scientist noted for her research on compilers, runtime systems, and computer architecture. She is also known for her leadership in broadening participation in computing. McKinley was co-chair of CRA-W from 2011 to 2014.

Barbara G. Ryder is an American Computer Scientist noted for her research on programming languages and more specifically, the theoretical foundations and empirical investigation of interprocedural compile-time analysis.

Thomas W. Reps is an American computer scientist known for his contributions to automatic program analysis. Dr. Reps is Professor of Computer Science in the Computer Sciences Department of the University of Wisconsin–Madison, which he joined in 1985. Reps is the author or co-author of four books and more than one hundred seventy-five papers describing his research. His work has covered a wide variety of topics, including program slicing, data-flow analysis, pointer analysis, model checking, computer security, instrumentation, language-based program-development environments, the use of program profiling in software testing, software renovation, incremental algorithms, and attribute grammars.

Susan Beth Horwitz was an American computer scientist noted for her research on programming languages and software engineering, and in particular on program slicing and dataflow-analysis. She had several best paper and an impact paper award mentioned below under awards.

Maria Gini is an Italian and American Computer Scientist in artificial intelligence and robotics. She has considerable service to the computer science artificial intelligence community and for broadening participation in computing. She was Chair of the ACM Special Interest Group in Artificial Intelligence SIGAI from 2003 to 2010. She is currently a member of the CRA-W board.

<span class="mw-page-title-main">Shmuel Sagiv</span> Israeli computer scientist (born 1959)

Mooly (Shmuel) Sagiv is an Israeli computer scientist known for his work on static program analysis. He is currently Chair of Software Systems in the School of Computer Science at Tel Aviv University, and CEO of Certora, a startup company providing formal verification of smart contracts.

<span class="mw-page-title-main">Yannis Smaragdakis</span> American computer scientist

Yannis Smaragdakis is a Greek-American software engineer, computer programmer, and researcher. He is a professor in the Department of Informatics and Telecommunications at the University of Athens. He is the author of more than 130 research articles on a variety of topics, including program analysis, declarative languages, program generators, language design, and concurrency. He is best known for work in program generation and program analysis and the Doop framework.

Martin Vechev is a professor at the Department of Computer Science at ETH Zurich working in the fields of programming languages, machine learning, and security. He leads the Secure, Reliable, and Intelligent Systems Lab (SRI), part of the Department of Computer Science.

Ilya Sergey is a Russian computer scientist and an Associate Professor at the School of Computing at the National University of Singapore, where he leads the Verified Systems Engineering lab. Sergey does research in programming language design and implementation, software verification, distributed systems, program synthesis, and program repair. He is known for designing the Scilla programming language for smart contracts. He is the author of the free online book Programs and Proofs: Mechanizing Mathematics with Dependent Types, Lecture notes with exercises, which introduce the basic concepts of mechanized reasoning and interactive theorem proving using Coq.

Todd Millstein is an American computer scientist. He is Professor of Computer Science and Chair of the Department at the UCLA Henry Samueli School of Engineering and Applied Science.

References

  1. 1 2 3 4 5 6 7 8 Curriculum vitae, retrieved 2020-02-06.
  2. ↑ "International Conference on Functional Programming 2004: Information". www.icfpconference.org. Retrieved 2019-09-05.
  3. ↑ OOPSLA Committee Archived 2015-06-12 at the Wayback Machine , retrieved 2015-06-10.
  4. ↑ "Organizing Committee - PLDI 2019". pldi19.sigplan.org. Retrieved 2019-09-05.
  5. 1 2 3 Research Page, retrieved 2020-02-06.
  6. ↑ ACM Fellow Award Citation, retrieved 2015-06-10.
  7. 1 2 CRA Interview, retrieved 2020-02-06.
  8. ↑ Kathleen Fisher at the Mathematics Genealogy Project
  9. ↑ Ph.D Thesis, retrieved 2020-02-06.
  10. 1 2 Silver Bullets Interview, retrieved 2020-02-06.
  11. ↑ "2021 Fellows". American Association for the Advancement of Science. Retrieved 2022-01-28.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.