User: ykonstant
Created: 10/25/2018, 4:58:17 PM
Karma: 2185
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