Roman Kuznets's Homepage

My name in Russian: Роман Кузнец

I was a research assistant 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 (updated September 2013).