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

Bjarne Stroustrup Danish computer scientist, creator of C++

Bjarne Stroustrup is a Danish computer scientist, most notable for the creation and development of the C++ programming language. He is a visiting professor at Columbia University, and works at Morgan Stanley as a Managing Director in New York.

Programming Language Design and Implementation (PLDI) is one of the ACM SIGPLAN's most important conferences. The precursor of PLDI was the Symposium on Compiler Optimization, held July 27–28, 1970 at the University of Illinois at Urbana-Champaign and chaired by Robert S. Northcote. That conference included papers by Frances E. Allen, John Cocke, Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. The first conference in the current PLDI series took place in 1979 under the name SIGPLAN Symposium on Compiler Construction in Denver, Colorado. The next Compiler Construction conference took place in 1982 in Boston, Massachusetts. The Compiler Construction conferences then alternated with SIGPLAN Conferences on Language Issues until 1988, when the conference was renamed to PLDI. From 1982 until 2001, the conference acronym was SIGPLAN 'xx. Starting in 2002, the initialism became PLDI 'xx, and in 2006 PLDI xxxx.

Jean E. Sammet was an American computer scientist who developed the FORMAC programming language in 1962. She was also one of the developers of the influential COBOL programming language.

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

Susan L. Graham 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.

David Ungar 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.

George Necula

George Ciprian Necula is a Romanian computer scientist, engineer at Google, and former professor at the University of California, Berkeley who does research in the area of programming languages and software engineering, with a particular focus on software verification and formal methods. He is best known for his Ph.D. thesis work first describing proof-carrying code, a work that received the 2007 SIGPLAN Most Influential POPL Paper Award.

Mary Lou Ehnot Soffa is an American computer scientist noted for her research on compilers, program optimization, system software and system engineering.

Kathryn S. McKinley 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-2010. She is currently a member of the CRA-W board.

David Bacon is an American computer programmer.

John Launchbury American and British computer scientist

John Launchbury is an American and British computer scientist who is currently Chief Scientist at Galois, Inc. Previously, he directed one of DARPA’s technical offices, where he oversaw nation-scale scientific and engineering research in cybersecurity, data analysis, and artificial intelligence. He is known for research and entrepreneurship in the implementation and application of functional programming languages. In 2010, Launchbury was inducted as a Fellow of the Association for Computing Machinery.

Shmuel Sagiv 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.

Yannis Smaragdakis 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. He is known for his pioneering works in machine learning for code (BigCode), where he introduced statistical programming engines trained on large codebases, reliable and trustworthy artificial intelligence, where he introduced abstract interpretation methods for reasoning about deep neural networks to enable the verification of large machine learning models, and quantum programming, introducing the first high-level programming language and system Silq.

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.