About me:
I am a Lecturer (equiv. Assistant Professor) in the Department of Computer Science at the University of Bath, and a member of the Mathematical Foundations of Computation group.
Before that, I was a post-doctoral researcher at Czech Academy of Sciences and at Utrecht University. I did my PhD studies at Charles University in Prague under the supervision of Pavel Pudlák.
Research:
I am interested in mathematical logic, especially structural proof theory, non-classical and modal logics, and in the field of proof complexity, especially proof complexity of non-classical logics. I am also interested in constructive mathematics.
Contact:
10 WEST 1.13
Department of Computer Science
University of Bath
Bath BA2 7AY
United Kingdom
rjk53[at]bath[dot]ac[dot]uk