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 July 2015) and my profiles at Google Scholar, DBLP, MathSciNet, zbMATH, ACM DL, ResearchGate, and Mathematical Genealogy.