Birth date: 15.07.1990
E-mail:
Keywords: mathematical logic, proof theory, modal logic, decision problems.

Subject:

Proof theory, modal logic, decision problems.

Recent publications

Presentations in Math-Net.Ru

Personal pages:

• 
• 
• 
• 
• 
• 

Organisations:

• Ghent University
• Steklov International Mathematical Center
• Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
• Lomonosov Moscow State University