ICFP 2020
Sun 23 - Fri 28 August 2020
Jennifer Hackett

Registered user since Wed 21 Mar 2018

Name: Jennifer Hackett

Bio: I’m a postdoctoral researcher in the Functional Programming Lab at the University of Nottingham, working on ways to reason about the efficiency of programs in call-by-need (a.k.a. lazy) programming languages. I’m particularly interested in ways to unify the two concerns of correctness and efficiency.

Country: United Kingdom

Affiliation: University of Nottingham, UK

Personal website: http://www.cs.nott.ac.uk/~pszjlh/

Research interests: reasoning about efficiency, call-by-need evaluation, cost semantics


ICFP 2020Committee Member in External Review Committee within the Research Papers-track
Co-chair in Selection Committee within the Tutorials and Social Events-track
Workshops Co-Chair in Organizing Committee
Show activities from other conferences

Using general profile