I am a postdoc at Umeå University. I work with Virginia Dignum in a WASP project focused on the formal verification of ethical principles of AI systems.

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

Previously, I have been a postdoc at IRIF and done a 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 umu dot se .