Georgy Dunaev | Programmer & Mathematician

Welcome to my personal page!

Here you can get yourself acquainted with my CV and projects.

The presentation on the right is about logical and class-theoretic foundations of mathematics, including some new constructions: see the right side of this page. (It is scrollable both up and down.)

Curriculum Vitae

(request CV via email) .

Email

Primary:
Secondary:

Interests

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

Projects

Proof assistant "Obelisk":
[HTML] (full-screen demonstration)
[PDF] (dark background)
[PDF] (ink-saving light background)
Monography "Class-Theoretic Foundations of Mathematics":
Unfinished 200-pages document.
[PDF](request via email)

Publications

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

Miscellaneous

A link to the previous personal page: https://mathandcomp.wordpress.com/ , which has outdated descriptions of what happens in my github repositories.