Roman Kuznets's Homepage

I am a postdoctoral researcher at 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 January 2017) and my profiles at Google Scholar, DBLP, MathSciNet, zbMATH, ACM DL, ResearchGate, ORCID, ResearcherID, Scopus, and Mathematical Genealogy. Here is a verified review record at Publons.