Recent Activities Research Projects Co-authors PhD Students

Recent activites

Collecting editor of the International Journals

Invited Plenary Speaker (a selection)

PC Member of


Executive board member

Steering Commitee member of

Member of


Research Projects (a selection)

As Principal Investigator

As co-Investigator

As Scientist in charge


Co-authors


Agata Ciabattoni   Ciao Franco







I have published papers or edited volumes with various colleagues, including:

Austria

Klaus-Peter Adlassnig, Medical Expert and Knowledge-Based Systems, Medical University of Vienna.
Federico Aschieri , Institut für Discrete Mathematics and Geometry, TU Vienna.
Matthias Baaz, Institut für Discrete Mathematics and Geometry, TU Vienna.
Paolo Baldi , Institut für Computersprachen, TU Vienna.
Christian G. Fermüller, Institut für Computersprachen, TU Vienna.
Alexander Leitsch, Institut für Computersprachen, TU Vienna.
Schahram Dustdar, Distributed Systems Group, Information Systems Institute, TU Vienna.
Elisa Freschi , Austrian Academy of Science.
Francesco Genco Institut für Computersprachen, TU Vienna.
Bjoern Lellmann , Institut für Computersprachen, TU Vienna.
Christian Platzer, Distributed Systems Group, Information Systems Institute, TU Vienna.
Florian Rosenberg, Distributed Systems Group, Information Systems Institute, TU Vienna.
Revantha Ramanayake, Institut für Computersprachen, TU Vienna.
Lara Spendier, Institut für Computersprachen, TU Vienna.
Thomas Vetterlein, Department of Knowledge-based Mathematical Systems, University of Linz.
Helmut Veith, Department of Formal Methods in Systems Engineering, Information Systems Institute, TU Vienna.

Brasil

Carlos Olarte , UFRN
Elaine Pimentel , UFRN

Canada

Richard Zach, Department of Philosophy, University of Calgary.

Czech Republic

Petr Hajek, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague.
Pavel Rusnok, Institute for Research and Applications of Fuzzy Modeling, Ostrava.

Egypt

Moataz El-Zekey, Department of Basic Sciences, Institute of Technology, Benha University.

England

Dov M. Gabbay, Department of Computer science, King's College London.

France

Nicola Olivetti, Department of Computer Science, Paul Cézanne University, Marseille.
Lutz Strassburger, INRIA Research Centre, Saclay -Ile-de-France.

Germany

Mattia Bongini , Faculty of Mathematics, University of Technology Munich.
Heinrich Wansing , Department of Philosophy II Logic and Epistemology, Ruhr University Bochum .

Israel

Arnon Avron, Department of Computer Science, Tel-Aviv University.
Ori Lahav, Department of Computer Science, Tel-Aviv University.
Anna Zamansky, Information Systems Department, University of Haifa.

Italy

Stefano Aguzzoli, Department of Computer Science, University of Milano.
Andrea Asperti, Department of Computer Science, University of Bologna.
Antonio Di Nola, Department of Mathematics and Computer Science, University of Salerno.
Mauro Ferrari, Department of Computer Science, University of Varese.
Brunella Gerla, Department of Computer Science, University of Varese.
Duccio Luchi, IBM Italia.
Vincenzo Marra, Department of Informatics, University of Milano.
Franco Montagna, Department of Mathematics, University of Siena.

The Nederlands

Marco Aiello, Department of Computer Science, Groeningen.
Paolo Maffezioli, Department of Philosophy, Groeningen.

Japan

Norbert Preining, JAIST Research Center for Integrated Science, Kanazawa.
Kazushige Terui, Research Institute for Mathematical Sciences, Kyoto.

Spain

Francesc Esteva, Artificial Intelligence Research Institute, Bellaterra.
Lluis Godo, Artificial Intelligence Research Institute, Bellaterra.
David Picado, European Center for Soft Computing, University of Oviedo.

Switzerland

George Metcalfe, Department of Mathematics, Bern.

USA

Nikolaos Galatos, Department of Mathematics, University of Denver.


PhD Students

Francesco Genco (from December 2014)
Tim Lyon (from November 2016)
Paolo Baldi. Thesis: Standard completeness: proof-theoretic and algebraic methods , defended August 2015
Lara Spendier. Thesis: Tools for the Investigation of Non-classical Logics , defended June 2015