Greetings

Welcome to my personal page!

Projects

• Proof assistant "Obelisk":
  

  [link]

  (website for the project and other materials about foundations of mathematics) ‼️

• Monography "Class-Theoretic Foundations of Mathematics":
  Unfinished 200-pages document.
  

  [PDF]

  (request via email)

Curriculum Vitae

(request via email if inaccessible)

• in English [PDF]
• in German [PDF]
• in Russian [PDF]
• in English [PDF] (WIP: generated via Claude+Python+ReportLab)

Publications

• Mechanisation of a recursion theorem:
  

  [link]

  Recursion Theorem in ZF, Archive of Formal Proofs, May 2020.

• A proof assistant project goals declaration:
  

  [link]

• ...

Miscellaneous

• Outdated personal page:
  

  [link]

  (descriptions of my Github repositories)

Research

Software development, testing, formal verification, functional programming languages, compilers, proof assistants.

Contacts