|
|
| user: | ykonstant | | created: | October 25, 2018 | | karma: | 2115 | | about: | 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
--- | | submissions | | comments | | favorites |
|
