Institute of Computer Languages
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 in the project Non-classical Proofs: Theory, Applications and Tools

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:


RECENT ACTIVITIES:


ARTICLES:


PHD THESIS:




PERSONAL:


[Group's HOME] [HOME]