Roman Kuznets's Homepage

I am a postdoctoral researcher at the Embedded Computing Systems Group (E182/2) in the Institute of Computer Engineering (E182), as well as 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 October 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.