Roman Kuznets's Homepage

I am a postdoctoral researcher at the Embedded Computing Systems Research Group (E191-02) in the Institute of Computer Engineering (E191), as well as at the Theory and Logic Research Group (E192-05) in the Institute of Logic and Computation (E192) (until 31.12.2017 in the Institute of Computer Languages), at the Faculty of Informatics of TU Wien (formerly translated as the Vienna University of Technology).

I am interested in fault-tolerant distributed systems, justification logic, modal logic, various other epistemic logics, structural proof theory, and interpolation.

Here is my CV (updated November 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.