145 reputation
118
bio website jelv.is
location Berkeley, CA
age 21
visits member for 4 years, 6 months
seen Sep 4 at 0:39

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


1
× 3
1
1
× 2
1
1
× 2
0
1
× 2
0
Stack Overflow 31,886 rep 1284127
Programmers 2,915 rep 1016
TeX - LaTeX 283 rep 37
Area 51 151 rep 1
Super User 145 rep 118
sort
This user has no active bounties

33 Votes Cast

all time   by type  
33 up 13 question
0 down 20 answer