|visits||member for||4 years, 1 month|
|seen||2 days ago|
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 firstname.lastname@example.org
|bio||website||jelv.is||visits||member for||4 years, 1 month|
|location||Berkeley, CA||seen||2 days ago|
74 Votes Cast
|all time||by type|