nesta's homepage.

Welcome to my homepage! Here you can find links to my academic and personal pages.

About. My name is Nesta van der Schaaf (he/him). I'm a postdoctoral researcher at Inria Saclay, working in the QuaCS group of the Laboratoire Méthodes Formelles. The core of my research is point-free and categorical foundations of order theory. The long-term aim of this project is twofold: to provide a point-free mathematical foundation for spacetimes; and to provide a rigorous notion for concurrency in categorical quantum mechanics. I'm also interested in diffeology.