Area 51 » Anton Golov

177
reputation
12 views
discussion user
network profile

Registered User

name Anton Golov
member for 3 years
seen Oct 28 at 0:05
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.