Assistant Teaching Professor at Carnegie Mellon University in the Computer Science Department.
Member for 9 years, 11 months
8 profile views
Last seen Mar 22 '14 at 21:09
Top network posts
- 17 Automated theorem proving in linear logic
- 15 What is the most powerful kind of parser?
- 14 Difference lists in functional programming
- 14 Type inference for imperative statements other than assignment
- 12 Curriculum: Logical/Formal Methods in Security
- 12 How to make the Lambda Calculus strong normalizing without a type system?
- 11 What's the difference between term rewriting and pattern matching?
- View more network posts →