Area 51 » Anton Golov

172
reputation
9 views
discussion user
network profile

Registered User

name Anton Golov
member for 3 years
seen 2 days ago
website
location Netherlands
age

I'm a student of mathematics and computer science at Utrecht University, currently fascinated by type theory and everything related to it. I started learning C++ in 2008, and have since then also picked up Python, C#, and Haskell. I'd like to learn Agda or Idris soon.

Apart from that, I play go (less often than I'd like), try to learn Lojban (with less success than I'd like), and am a member of Biton.

I am also known as jesyspa elsewhere on the net.