|visits||member for||7 months|
|seen||Dec 17 '12 at 11:17|
I am a programmer that dabbles in PLT and HCI as well as robotics. I am familiar with a bunch of languages, my favorites being Haskell, Racket & Scheme, Python, Go, Coq and C++ more or less in that order.
I have recently taken an interest in compilers and am doing a lot of work with them recently.
Additionally I'm attempting to learn about formal proofs and program verification with Coq
|bio||website||dannygratzer.com||visits||member for||7 months|
|location||United States||seen||Dec 17 '12 at 11:17|
6 Votes Cast
|all time||by type|