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:

Current Position:

I am a senior postdoctoral researcher funded by a Lise Meitner fellowship from FWF (Austrian Science Fund) for working as Principal Investigator on the project:

Curry-Howard, Game Semantics and Herbrand’s Theorem
.

I am member of the Computational Logic Group of the Institute of Discrete Mathematics and Geometry, TU Wien.

Previous affiliations:
Here is my Curriculum Vitae

RESEARCH INTERESTS:


ARTICLES:


PHD THESIS:




PERSONAL:


[Group's HOME] [HOME]