101 reputation
2
bio website jelv.is
location Berkeley, CA
age 21
visits member for 1 year, 3 months
seen Jul 31 at 17:44

I am a student 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.

I am currently an undergraduate researcher at the Berkeley ParLab, working on program synthesis. This past summer, I was a tech intern at Jane Street Capital, brazenly using OCaml in the real world. Right now, I'm leading a meetup group about type theory; you can see the slides here or just show up to the next on if you live near SF ;).

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

GitHub: http://github.com/TikhonJelvis

Website: http://jelv.is


This user has not answered any questions
This user has not asked any questions
This user has not participated in any tags
Stack Overflow 31,156 rep 1181123
Programmers 2,895 rep 1016
TeX - LaTeX 283 rep 37
Super User 145 rep 118
Programming Puzzles & Code Golf 141 rep 4

17 Votes Cast

all time   by type  
17 up 5 question
0 down 12 answer