Jennifer Hackett - ICFP 2018 (original) (raw)

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