Kathleen Fisher: Difference between revisions
aaas |
m Moving Category:2010 Fellows of the Association for Computing Machinery to Category:2010 fellows of the Association for Computing Machinery per Wikipedia:Categories for discussion/Speedy |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 26: | Line 26: | ||
== Early life and education == |
== 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]].<ref name="cv"/> In her freshman year she decided to take a computer science course to learn how to use the [[ |
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]].<ref name="cv"/> 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.<ref name="CRA Interview">[https://cra.org/cra-wp/interview-with-kathleen-fisher/ CRA Interview], retrieved 2020-02-06.</ref> 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.<ref name="CRA Interview"/> 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.<ref name="cv"/> In 1996 she graduated with a Ph.D in Computer Science under the supervision of Dr. [[John C. Mitchell]].<ref name="cv"/><ref>{{mathgenealogy|id=71419}}</ref> Her thesis was entitled Type Systems for Object-Oriented Languages.<ref name="Thesis">[http://i.stanford.edu/pub/cstr/reports/cs/tr/98/1602/CS-TR-98-1602.pdf Ph.D Thesis], retrieved 2020-02-06.</ref> |
||
== Career == |
== Career == |
||
| Line 77: | Line 77: | ||
[[Category:Stanford University alumni]] |
[[Category:Stanford University alumni]] |
||
[[Category:Tufts University faculty]] |
[[Category:Tufts University faculty]] |
||
[[Category: |
[[Category:2010 fellows of the Association for Computing Machinery]] |
||
[[Category:Fellows of the American Association for the Advancement of Science]] |
[[Category:Fellows of the American Association for the Advancement of Science]] |
||
[[Category:American women academics]] |
[[Category:American women academics]] |
||
Latest revision as of 07:28, 13 September 2024
Kathleen Shanahan Fisher | |
|---|---|
 | |
| Nationality | American |
| Alma mater | Stanford University |
| Known for | Moby programming language |
| Awards | ACM 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.
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
[edit]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
[edit]Early career
[edit]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
[edit]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
[edit]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
[edit]Fisher has received many honors, including:[1]
- 2021 Fellow of the American Association for the Advancement of Science.[11]
- 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.
References
[edit]- ^ a b c d e f g h Curriculum vitae, retrieved 2020-02-06.
- ^ "International Conference on Functional Programming 2004: Information". www.icfpconference.org. Retrieved 2019-09-05.
- ^ OOPSLA Committee Archived 2015-06-12 at the Wayback Machine, retrieved 2015-06-10.
- ^ "Organizing Committee - PLDI 2019". pldi19.sigplan.org. Retrieved 2019-09-05.
- ^ a b c Research Page, retrieved 2020-02-06.
- ^ [1]ACM Fellow Award Citation, retrieved 2015-06-10.
- ^ a b CRA Interview, retrieved 2020-02-06.
- ^ Kathleen Fisher at the Mathematics Genealogy Project
- ^ Ph.D Thesis, retrieved 2020-02-06.
- ^ a b Silver Bullets Interview, retrieved 2020-02-06.
- ^ "2021 Fellows". American Association for the Advancement of Science. Retrieved 2022-01-28.
External links
[edit]- Home page
- Kathleen Fisher publications indexed by Google Scholar
