chrisamaphone

Personal information


female

Graduate student at CMU.


logic programming, dependent types, logical frameworks

History


10 years 18 weeks