Registered user since Wed 21 Mar 2018
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.
|ICFP 2020|| Committee Member in External Review Committee within the ICFP Program-track|
Co-chair in Selection Committee within the Tutorials-track
Workshops Co-Chair in Organizing Committee
|Show activities from other conferences|
View general profile