3,515 reputation
13 19

Tikhon Jelvis

I am a software engineer primarily interested in programming languages, functional programming, program synthesis, type theory, universal algebra and startups (not necessarily in that order!). In the near future, I want to combine as many of these as possible.

Right now I'm an engineer at Esper, an early stage startup in Palo Alto. We use OCaml on the backend, which is pretty neat.

I am always happy to chat: my email is tikhon@jelv.is.

I am especially interested in questions and projects involving Haskell or interesting PL issues.

GitHub: http://github.com/TikhonJelvis

Website: http://jelv.is

Top Tags (67)

Score 184
Posts 9
Posts % 27
Score 118
Posts 2
Score 94
Posts 4
Score 31
Posts 2
Score 20
Posts 3
Score 14
Posts 2

Top Posts (33) All Questions Answers | Votes Newest

View all questions and answers

Badges (32)

Silver 13


Bronze 19