User: ykonstant

Created: 2032 days ago
Karma: 1542
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.
I also do online tutoring in all areas of pure and applied mathematics as well as symbolic and numerical computation; if you are interested in tutoring, please contact me at my email!
Webpage: https://ykonstant1.github.io Contact: ykonstant@gmail.com