Tikhon Jelvisless info
|visits||member for||3 years, 2 months|
|seen||May 1 at 0:08|
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 summer, I'm going to be a tech intern at Jane Street Capital, brazenly using OCaml in the real world.
I am always happy to chat: my email is email@example.com
|bio||website||jelv.is||visits||member for||3 years, 2 months|
|location||Berkeley, CA||seen||May 1 at 0:08|