Institute of Llogic and Computation
Technische UniversitätWien

THE GROUP'S LOGO
Research on "Proof Theory"

Federico Aschieri, PhD

Institute of Logic and Computation
Technische Universität Wien
Office: Room 4th floor
Adress: Favoritenstraße 9–11
Tel.
E-mail: federico.aschieri[AT]tuwien.ac.at


ABOUT ME:

Current Position:

I am a senior postdoctoral researcher, working as Principal Investigator in the project On the Computational Interpretation of Intermediate Logics, funded from FWF (Austrian Science Fund)

I am member of the Theory and Logic Group of the Institute of Logic and Computation, TU Wien.

Previous affiliations:
Here is my Curriculum Vitae

RESEARCH INTERESTS:



ARTICLES:


PHD THESIS:




PERSONAL:


[Group's HOME] [HOME]