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 email@example.com
Q&A for professional and enthusiast programmers
Q&A for professional programmers interested in conceptual questions about software development
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Q&A for computer enthusiasts and power users
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Q&A for programming puzzle enthusiasts and code golfers
Q&A for users of Linux, FreeBSD and other Un*x-like operating systems.
Q&A for people studying math at any level and professionals in related fields
Q&A for linguists, etymologists, and serious English language enthusiasts
Q&A for theoretical computer scientists and researchers in related fields
Q&A for members of the workforce navigating the professional setting
Q&A for user experience researchers and experts
Q&A for power users of web applications
Q&A for professional system and network administrators
Q&A for students, researchers and practitioners of computer science