Institute of Discrete Mathematics and Geometry
Technische UniversitätWien

THE GROUP'S LOGO
Research on "Proof Theory"

Federico Aschieri, PhD

Institute of Discrete Mathematics and Geometry
Technische Universität Wien
Office: Room DA05 A05, green area, 5th floor
Adress: Wiedner Haupstraße 8-10
Tel.
E-mail: federico.aschieri[AT]tuwien.ac.at


ABOUT ME:

I am Senior postdoctoral researcher funded by a Lise Meitner fellowship from FWF (Austrian Science Fund). I work in the Computational Logic Group of the Institute of Discrete Mathematics and Geometry, TU Wien.
I did my PhD studies at Università degli Studi di Torino and Queen Mary, University of London, from January 2008 to December 2010. From October 2011 to September 2012, I was postdoc at INRIA-Paris, in the equipe PI.R2, Université Paris VII. From October 2012 to September 2014, I was postdoc at ENS de Lyon, in the equipe Plume. From October 2014 to October 2015, I was postdoc at Vienna University of Technology, in the Institute of Discrete Mathematics and Geometry.
Here is my Curriculum Vitae

RESEARCH:


PHD THESIS:


ARTICLES:


PERSONAL:


[Group's HOME] [HOME]