Anela Lolic

Contact

Institute of Discrete Mathematics and Geometry
Vienna University of Technology
Wiedner Hauptstraße 8-10
1040 Vienna, Austria.

Email: anela [at] logic.at.

Talks and Events

Publications

About Me

I am PhD student at TU Wien, Alexander Leitsch is my advisor and Matthias Baaz my co-advisor.
My main areas of reasearch are: logic, (structural) proof theory and automated deduction.

I am publicity chair of the Kurt Gödel Society.

Education

Work

Teaching

Organization Committee

Awards