Thessaloniki, Greece

Stream: Geographic locality

[Ioannis Konstantoulas]

Hello all; I am a mathematician specializing in homogeneous dynamics and number theory, currently residing in Thessaloniki, Greece. If you are interested in Lean or any other proof assistant, or just want to chat about dynamics, number theory, Lie groups and representations, let me know!