![Jennifer Hackett](https://popl20.sigplan.org/getProfileImage/jenniferhackett/417a3ff2-8c0d-4a2f-b7f8-06de74ed20ad/small.jpg?1711495084000)
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
Contributions
POPL 2020-profile
View general profile
View general profile