Adam Chlipala
|
IRC nicks: |
Psion, Smerdyakov |
Personal web site: |
||
E-mail address: |
<adam AT SPAMFREE schizomaniac DOT net> |
How were you involved with TPU?
I joined TPU in the first few months of its existence, when I was 15. I volunteered to run the web forums, and after that a succession of fancy CGI services. About a year after joining, I took over as the main admin, and continued in that role from roughly 1997 to 2000, with some gaps. I've always been the one holding the tpu.org domain name, and today I'm the custodian of the TPU name. Perhaps some whippersappers will come along with a worthy plan to revive it.
Other random notables:
I started the IrcBot writing craze.
I started and edited the TeenProgrammersJournal.
I invented Muffy the Magic Goat!
How about a capsule summary of the programming you did in your TPU years?
In fact, I already have a web page with that information!
What are you up to now professionally and/or academically?
I'm a graduate student in computer science at UC Berkeley. I do research on programming language design and automated techniques for checking software quality. You can find more information on my Berkeley web site.
What are your favorite programming languages and tools today?
I'm a functional language nut, and I'm especially into statically-typed languages like ML and Haskell. I'm also making more and more use of programming environments based on interactive theorem proving and strong, compiler-checked specifications, like Coq.
What sorts of software are you most often developing lately?
- Compilers for new programming languages
- Theorem provers and program analyzers
Infrastructure for HCoop