2,875 reputation
1015
bio website jelv.is
location Berkeley, CA
age 21
visits member for 3 years, 7 months
seen yesterday

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


Jun
4
awarded  Guru
Jun
3
awarded  Mortarboard
Jun
3
awarded  Good Answer
Jun
3
awarded  Nice Answer
Mar
1
awarded  Necromancer
Dec
3
awarded  Yearling
Feb
18
awarded  Caucus
Feb
4
awarded  Good Answer
Feb
2
awarded  Nice Answer
Jan
1
awarded  Nice Answer
Dec
21
awarded  Enlightened
Dec
21
awarded  Nice Answer
Dec
3
awarded  Yearling
Nov
29
awarded  Nice Answer
Nov
12
awarded  Pundit
May
31
awarded  Nice Answer
Jan
14
awarded  Excavator
Jan
14
awarded  Editor
Dec
20
awarded  Civic Duty
Dec
3
awarded  Yearling