3,596 reputation
14 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 (64)

Score 191
Posts 9
Posts % 28
Score 122
Posts 2
Score 98
Posts 4
Score 31
Posts 2
Score 20
Posts 3
Score 14
Posts 2

Top Posts (32) All Questions Answers | Votes Newest

View all questions and answers

Badges (33)

Gold
Silver 14

Rarest

Bronze 19

Rarest