Kathleen Fisher

Kathleen Shanahan Fisher
Kathleen Shanahan Fisher
Nationalitet	amerikansk
Alma mater	Stanford University
Känd för	Moby programmeringsspråk
Utmärkelser	ACM-stipendiat
	Vetenskaplig karriär
Fält	Datavetenskap
institutioner	; AT&T Labs Tufts University
Doktorandrådgivare	John C. Mitchell

Kathleen Shanahan Fisher är en amerikansk datavetare som är specialiserad på programmeringsspråk och deras implementering.

Professor Fisher är ordförande för datavetenskap vid Tufts University och en av författarna till PADS-databeskrivningsspråket och Mobys experimentella samtidiga programmeringsspråk. Hon är tidigare ordförande i ACM Special Interest Group in Programming Languages ( SIGPLAN ) och har varit ordförande för tre av deras stora konferenser, ICFP 2004, OOPSLA 2011 och PLDI 2019. Hon var med och grundade SIGPLANs Programming Language Mentoring Workshop (PLMW) ) Serie i ett försök att öka antalet kvinnor och underrepresenterade minoriteter inom datavetenskap och var under tre år medordförande i Computing Research Associations Committee on the Status of Women. 2010 valdes hon till Fellow i Association for Computing Machinery "för bidrag till programmeringsspråksdesign, teori och praktik, och för service till datorsamhället." Hon är också medlem i styrelsen för Harvey Mudd College .

tidigt liv och utbildning

Fisher föddes 1969 i San Marino, Kalifornien . Hennes far var en investeringsproffs och hennes mamma var hemmafru. Hon tog examen från San Marino High School innan hon gick på Stanford University . Under sitt första år bestämde hon sig för att ta en kurs i datavetenskap för att lära sig använda IBM PS/2 Model 60- datorn som hennes pappa hade köpt till henne. Intresserad av materialet gick hon en annan klass och stötte på stoppproblemet . Hon tyckte att beviset bakom det var enkelt men elegant och upplevelsen markerade en vändpunkt i hennes intresse för datavetenskap. Hon tog examen Stanford med utmärkelse 1991 med en B.Sc i matematik och beräkningsvetenskap och stannade på Stanford för sina forskarstudier. 1996 tog hon examen med en doktorsexamen i datavetenskap under ledning av Dr. John C. Mitchell . Hennes avhandling hade titeln Typsystem för objektorienterade språk.

Karriär

Tidig karriär

Efter examen började Fisher arbeta på AT&T Labs Research . I april 2002 befordrades hon till huvudmedlem i teknisk personal. Från juli 2008 till mars 2011 var hon också konsultprofessor i datavetenskap vid Stanford.

DARPA

2011 lämnade hon AT&T Labs för att bli programchef på DARPA . På DARPA grundade och drev hon programmen High-Assurance Cyber Military Systems (HACMS) och Probabilistic Programming for Advancing Machine Learning (PPAML). HACMS-programmet fokuserade på att utnyttja formella metoder för att säkra militära fordon från hackning. Programmet använde ett rött team av hackare som försökte bryta sig in i en quadcopter med full kunskap om systemet med vilken metod som helst förutom en fysisk anslutning. Till en början kunde det röda laget snabbt kompromissa med quadcoptern, men i slutet av programmet kunde de inte bryta sig in i quadcoptern alls. Detta program var en stor framgång och har sedan dess övergått till mer komplexa fordon som Boeings Unmanned Little Bird . Fisher lämnade DARPA i juli 2014 men fortsätter att vara ordförande för deras ISAT Study Group.

Tufts universitet

Parallellt med sin forskning vid DARPA, accepterade Fisher ett jobb som professor i datavetenskap vid Tufts University där hon fortfarande arbetar idag som institutionsordförande. Hennes nuvarande forskning fokuserar på att utveckla domänspecifika språk, programsyntes och använda formella metoder för att säkra mjukvara. På Tufts har hon undervisat i programmeringsspråk samt seminarier i programmeringsspråksdesign.

Heder och utmärkelser

Fisher har fått många utmärkelser, inklusive:

2021 Fellow i 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, avslogs.
University of California Presidents postdoktorala stipendium, 1996, avböjde.
Student Service Award, Stanford Computer Science Department, 1995.
Hertz Foundation Fellowship, 1994 till 1996.
Finch Fellowship, 1993.
NSF Graduate Research Fellowship, 1991 till 1994.

externa länkar

Hemsida
Kathleen Fisher -publikationer indexerade av Google Scholar