José Siqueira

Postdoctoral Researcher

José is a mathematician with a background in Foundations of Mathematics, particularly Category Theory and its relationship to Logic, Geometry, and Computation. Other interests include facets of mathematical thinking and how its understanding affects education, pure and applied logic, computer science, and languages (broadly construed). His PhD thesis at Cambridge was originally about nonstandard analysis (and, more broadly, nonstandard proof methods) in toposes. Internal to Topos, he now tries to leverage the tools of categorical logic to better understand the compositionality of systems.