About

I am a postdoc at IRIF.

I work in deep inference. My interests include category theory and proof theory, and in particular the design of formalisms and systems and their geometrical representations.

I did my PhD with Alessio Guglielmi. Before that, I did part iii at the University of Cambridge, and an undergraduate in Mathematics at the University of Barcelona.

You can reach me at Andrea dot Aler at irif dot fr .