Freek Geerligs

I’m a PhD student in the Logic and Types unit at the Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg. My supervisor is Thierry Coquand, and my second supervisor is Christian Sattler. My main research is on synthetic Stone duality. Here are some tips on pronouncing my name.