My interests are: Qualitative properties of elliptic partial differential equations; Computer assisted proofs (particularly in Mathematical Analysis); Scientific programming; Functional programming and type systems.