Roman Kuznets's Homepage

I am an Austrian Science Fund (FWF) Lise Meitner Fellow hosted by the Theory and Logic Group (E185/2) in the Institute of Computer Languages (E185) at the Faculty of Informatics of TU Wien (formerly translated as the Vienna University of Technology).

I am interested in justification logic, modal logic, various other epistemic logics, structural proof theory, and interpolation.

Here is my CV (updated February 2015).