Kathleen Fisher is a Professor in and the Chair of the Computer Science Department at Tufts. Previously, she was a program manager at DARPA where she started and managed the HACMS and PPAML programs, a Consulting Faculty Member in the Computer Science Department at Stanford University, and a Principal Member of the Technical Staff at AT&T Labs Research. Kathleen is an ACM Fellow. She has served as Program Chair for PLDI, OOPSLA, ICFP, CUFP, and FOOL, and as General Chair for ICFP 2015. She is a former Associate Editor for TOPLAS and a former editor of the Journal of Functional Programming. Kathleen is a past Chair of the ACM Special Interest Group in Programming Languages (SIGPLAN) and past Co-Chair of CRA's Committee on the Status of Women (CRA-W). Kathleen is a recipient of the SIGPLAN Distinguished Service Award. She is Vice Chair of DARPA's ISAT Study Group and a member of the Board of Trustees of Harvey Mudd College.
+1 617 627 3831
161 College Ave
Medford, MA 02155
Kathleen's work involves developing domain-specific languages to make it easier to solve problems in particular domains. Examples include Hancock for stream processing, PADS for data format manipulation, and Forest for filestore management. She also works in the area of program synthesis, which uses search and/or machine learning techniques to generate programs from high-level specifications. Examples include synthesizing high-performance data structure(s) and concurrency control strategies for a given program and workload, inferring data descriptions from example data, and synthesizing lenses for synchronizing data stored in different formats. She is also interested in applying formal methods and other programming language techniques to produce software that is provably functionally correct with the goal of making hacking into systems much harder than it is today. She is currently working on building tools to make it possible to generate domain-specific language implementations and tools from high level specifications.
A list of Kathleen's publications is available from the ACM DL.
I am not teaching this semester.
I have previously taught
Comp105 (Fall 2017),
Comp105 (Fall 2016),
Comp105 (Spring 2016),
Comp105 (Spring 2015), and
Comp150PLD (Fall 2014).
Previously, I co-taught the graduate programming language course (cs242) at Stanford.
Tufts University Programming Languages (TUPL) website.
Cybersecurity at Tufts website.