Roman Kuznets's Homepage

I am the principal investigator of the 5.5-year FWF-funded project ByzDEL: Reasoning about Knowledge in Byzantine Distributed Systems hosted at the Embedded Computing Systems Group (E19102) in the Institute of Computer Engineering (E191) at the Faculty of Informatics of TU Wien (formerly translated as the Vienna University of Technology).

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

Here is my CV (updated September 2020) and my profiles at Google Scholar, DBLP, MathSciNet, zbMATH, ACM DL, ResearchGate, ORCID, ResearcherID, Scopus, Mendeley, and Mathematical Genealogy. Here is a verified review record at Publons.