My name in Russian: Роман Кузнец
I am a researcher at the Logic and Theory Group (LTG) in the Institute of Computer Science and Applied Mathematics (IAM) of the University of Bern.
I am interested in justification logic, modal logic, various other epistemic logics, and structural proof theory.
Here is my CV.