# About me

I’m a mathematician working in applied topos theory. I obtained my PhD in October 2017 under the supervision of Marc Nieper-Wißkirchen at the University of Augsburg. Besides research, I love teaching mathematics at all levels and am passionate about doing mathematics with school students. In the winter term 2017/2018, I was substituting a junior professor at the University of Augsburg. Currently I’m a guest at the Max Planck Institute for Mathematics in the Sciences in Leipzig, and starting with September I’ll be at the Università di Verona.

I explore applications of the internal language of toposes, particularly in commutative algebra and in algebraic geometry.

**Short research summary****Research statement****PhD thesis: Using the internal language of toposes in algebraic geometry**(large portions require only familiarity with scheme theory, not with topos theory; slides, more slides, 2015 talk at the IHÉS)**Paper: An elementary and constructive proof of Grothendieck’s generic freeness lemma**- UNILOG talk:
**Exploring the internal language of toposes** - Como talk:
**How topos theory can help commutative algebra**(for topos theorists) - Leipzig talk:
**How topos theory can help algebra and geometry**(for a general mathematical audience) - Bayreuth talk:
**New reduction techniques in commutative algebra driven by logical methods**

I contribute to the nLab and to the Stacks Project.

## Travel plans

- April 2018: PSSL 103 in Brno
- April 2018: Oberseminar Mathematische Logik in Munich
- April 2018: Computational Approaches to the Foundations of Mathematics in Munich
- May 2018: Summer School on Types, Sets and Constructions in Bonn
- May 2018: Philosophy of mathematics: objects, structures, and logics in Mussomeli
- June 2018: UniLog in Vichy
- June 2018: Toposes in Como in Como
- ??? 2018: Leeds
- July 2018: Jugendschülerakademie in Papenburg
- August 2018: Mathematics camp in Violau
- September 2018: Colloquium Logicum 2018 in Bayreuth
- September 2018: Proof and Computation in Fischbachau
- October 2018: PSSL 104 in Amsterdam
- Spring 2019: Warwick
- April 2019: Workshop on Formal Topology in Birmingham

## Postal address

Ingo BlechschmidtArberstr. 5

D-86179 Augsburg

Illustration: Carina Willbold (CC BY-SA)