Hi, It's Evgeny

>

I am a mathematician and backend developer, combining abstract reasoning with practical problem-solving. My work integrates deep theoretical insights with technical expertise to tackle complex challenges in both mathematics and software development.

Hire Contact
Profile picture

Education

2023

Proffesional education (JAVA)

Lorem ipsum dolor sit amet consectetur adipisicing elit. Deserunt quis alias facilis iusto ducimus, doloremque minima quo dolores exercitationem quos praesentium veritatis distinctio architecto assumenda ullam eligendi, vero reprehenderit non!

2014

Master in Mathematics

Lorem ipsum dolor sit amet consectetur adipisicing elit. Deserunt quis alias facilis iusto ducimus, doloremque minima quo dolores exercitationem quos praesentium veritatis distinctio architecto assumenda ullam eligendi, vero reprehenderit non!

2012

Bachelor in Mathematics

Lorem ipsum dolor sit amet consectetur adipisicing elit. Deserunt quis alias facilis iusto ducimus, doloremque minima quo dolores exercitationem quos praesentium veritatis distinctio architecto assumenda ullam eligendi, vero reprehenderit non!

Specialization

Mathematics

  • I really enjoy the interplay between Geometry and Algebra.
  • In my research, I am working to utilize topological and ordered-topological dualities between varieties of universal algebras related to mathematical logic and their corresponding dual topological structures.

Backend Development

I work with tools like: (Java) , (Spring), (Docker), (Amazon Web Services), (Kubernetes), (Git), relational databases like (PostgresSQL) and NoSQL Document Stores like (MongoDB) and (Elasticsearch).

Research

Profiles

https://orcid.org/0009-0003-2224-847X
https://www.researchgate.net/profile/Evgeny-Kuznetsov-3

Publications

  1. An explicit Kuznetsov-Muravitsky enrichment (withM. Jibladze) (2024) , Submitted

  2. Etale algebras over finite Heyting algebras, (2024) Submitted

  3. Temporal logic of surjective bounded morphisms between finite linear processes. Journal of Applied Non-Classical Logics, (with D. Gabelaia, R. C. Mihailescu, K. Razmadze & L. Uridia) (2023) DOI: 10.1080/11663081.2023.2269432

  4. An Axiomatization of the d-logic of Planar Polygons, (with D. Gabelaia, K. Gogoladze, M. Jibladze, & L. Uridia). Logic, Language, and Computation, 12th InternationalTbilisi Symposium on Logic, Language, and Computation, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers. Lecture Notes in Computer Science, Springer Nature, ISSN: 0302-9743, E-ISSN:1611-3349.

  5. Exponentiability in Stone spaces and Priestley spaces, (2017) Preprint.

  6. Modal logic of planar polygons, (with D. Gabelaia, K. Gogoladze, M. Jibladze, & M. Marx) (2014) Preprint, arXiv:1807.02868 [math.LO].

Conferences

  1. On Boolean Topos Constructions by Freyd and Pataraia and their generalizations. XIV Annual International Conference of the Georgian Mathematical Union. Batumi, Georgia, 2024

  2. On Boolean Topos Constructions by Freyd and Pataraia and their generalizations. Topology Algebra and Categories in Logic. Barcelona, Spain 2024

  3. Etale Heyting algebras. Tbilisi Symposium on Language Logic and Computation. Telavi, Georgia, 2023

  4. Esakia duality for Etale Heyting algebras. XIII Annual International Conference of the Georgian Mathematical Union. Batumi, Georgia, 2023

  5. Temporal Logic of Surjective Bounded Morphisms Between Finite Linear Processes. Challenges and Adequacy Conditions for Logics in the New Age of Artificial Intelligence. Madrid Spain,2022

  6. Flat polygonal logics in d-semantics, Tbilisi Symposium on Language Logic and Computation. Tsikhisdziri, Georgia, 2019

  7. Characterization of flat polygonal logics. Topology Algebra and Categories in Logic, Nice. France 2019

  8. Axiomatization of the d-logic of Planar Polygons. Tbilisi Symposium on Language Logic and Computation. Lagodekhi, Georgia, 2017

  9. Properties of Local Homeomorphisms of Logical Spaces. Tbilisi Symposium on Language Logic and Computation. Lagodekhi, Georgia, 2017

  10. Exponentiability in Stone spaces and Esakia Spaces. Topology Algebra and Categories in Logic. Prague, Czech Republic, 2017

  11. The modal logic of planar polygons. International Workshop on Topological Methods in Logic IV. Tbilisi, Georgia, 2014

  12. Local homeomorphisms and Esakia duality. International Workshop on Topological Methods in Logic IV. Tbilisi, Georgia, 2014

Visits

  1. July 2024 - Darmstadt Technical University, Darmstadt, Germany
  2. April 2024 - Darmstadt Technical University, Darmstadt, Germany
  3. May 2023 - Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, Consiglio Nazionale delle Ricerche, Pisa, Italy

Contacts Me