ykonstant
...joined 5 years ago, and has 1417 karma
submissions / comments / favourites
I work in homogeneous dynamics and number theory; also interested in proof assistants, math outreach and personalized mathematics education. I do posix shell scripting and general-purpose programming in Lean as a hobby.
Contact: ykonstant@gmail.com