Research Interests
Logic in Computer Science. Semiring-based Logics and Models of Computation. Modal, Intuitionistic and other Non-classical Logics.
Collaborators
My Erdős number is 3 via at least three paths:
Manfred Droste - Norbert W. Sauer - Paul Erdös.
Ronald Fagin - Miklós Ajtai - Paul Erdös.
Phokion Kolaitis - Bruce Rothschild - Paul Erdös.
So far, my list of collaborators (on papers either published, under review or in preparation) includes the following researchers:
Libor Behounek, John L. Bell, Xavier Caicedo, Petr Cintula, John N. Crossley, Pilar Dellunde, Manfred Droste, Thomas Eiter, Ronald Fagin, Daniel Gaina, Patrick Girard, Petr Hájek, Lloyd Humberstone, Raheleh Jalali, Marcel Jackson, Phokion Kolaitis, Tomasz Kowalski, Rafael Kiesel, Alex Knapp, David Makinson, Joao Marcos, Carles Noguera, Grigory Olkhovikov, Erik Paul, Andrew Tedder, Zach Weber, Martin Wirsing