Write a Blog >>
Mon 18 Jan 2016 10:30 - 11:15 at Room Demens - Invited talks 2 & 3

Kathleen Fisher is Professor in the Computer Science Department at Tufts. Previously, she was a Principal Member of the Technical Staff at AT&T Labs Research, a Consulting Faculty Member in the Computer Science Department at Stanford University, and a program manager at DARPA where she started and managed the HACMS and PPAML programs. Kathleen’s research focuses on advancing the theory and practice of programming languages and on applying ideas from the programming language community to the problem of ad hoc data management. The main thrust of her work has been in domain-specific languages to facilitate programming with massive amounts of ad hoc data, including the Hancock system for efficiently building signatures from massive transaction streams and the PADS system for managing ad hoc data.

Kathleen is an ACM Fellow. She has served as program chair for FOOL, ICFP, CUFP, and OOPSLA. Kathleen is past Chair of the ACM Special Interest Group in Programming Languages (SIGPLAN), past Co-Chair of CRA’s Committee on the Status of Women (CRA-W), and a former editor of the Journal of Functional Programming.

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: Invited talks 2 & 3PEPM Invited Talks at Room Demens
10:30 - 11:15
Invited Talk: Using Formal Methods to Eliminate Exploitable Bugs
PEPM Invited Talks
I: Kathleen FisherTufts University
11:15 - 12:00
Invited Talk: Automated Reasoning about Type Systems by Compilation to First-Order Logic
PEPM Invited Talks
I: Sebastian ErdwegTU Darmstadt, Germany