User: ykonstant

  • Created: 6 年前
  • Karma: 2079
  • I am a research mathematician working in homogeneous dynamics and number theory; also interested in proof assistants, math outreach and personalized mathematics education. I do shell scripting and general-purpose programming in Lean as a hobby.

    Webpage: https://ykonstant1.github.io Contact: ykonstant@gmail.com

    meet.hn/city/gr-Thessaloniki

    Interests:

    Education, Hiking, Open Source, Research, Programming ---