Home
I’m Lisa (ru: Лиза Василенко), a PhD student at IMDEA Software Institute.
My Research Interests
I like type theory, software verification and functional programming.
My main expertise is relational refinement types.
I work with Niki Vazou and Gilles Barthe on the implementation of a relational type system for Haskell.
Personal Stuff
I read fiction, watch films, swim, draw, dance swing, and take long walks around Madrid shooting pictures.