School of Computer Science

Carnegie Mellon University

5000 Forbes Avenue

Pittsburgh, PA 15213

Phone: (412) 268-7687

Email: [my-last-name]@cs.cmu.edu

- Istari is a proof assistant intended for mathematical developments involving computation -- particularly imperative computation -- and dependent types.
- CM-Lex and CM-Yacc are a lexer and parser generator for Standard ML, OCaml, and Haskell that resolve the "disembodied code" problem.
- CMlib is a collection of libraries for Standard ML.

- This Spring, I am teaching HOT Compilation (15-417), an undergraduate course on the implementation of compilers for higher-order, typed languages.
- Last Fall, I taught Constructive Logic (15-317), an undergraduate course on intuitionistic logic, proof theory, and logic programming.
- In Spring 2023, I taught Functional Programming (15-150), an introductory course on functional programming.
- In Fall 2022, I taught Constructive Logic.
- In Spring 2022, I taught Functional Programming.
- In Fall 2021, I taught Constructive Logic.
- In Spring 2021, I taught Functional Programming.
- In Fall 2020, I taught Constructive Logic.
- In Spring 2020, I taught HOT Compilation.
- In Fall 2019, I taught Constructive Logic.
- In Spring 2019, I taught Functional Programming.
- In Fall 2018, I taught Constructive Logic.
- In Spring 2018, I taught HOT Compilation.
- In Fall 2017, I taught Type Systems (15-814), a graduate course on type systems for programming languages and logic.
- In Spring 2017, I taught HOT Compilation.
- In Fall 2016, I taught Type Systems.
- In Spring 2016, I taught Computation and Deduction (15-851), a graduate course on logical frameworks and machine-checkable proofs.

"Of all the commandments, which is the most important?""The most important one," answered Jesus, "is this: 'Hear, O Israel, the Lord our God, the Lord is one. Love the Lord your God with all your heart and with all your soul and with all your mind and with all your strength.' The second is this: 'Love your neighbor as yourself.' There is no commandment greater than these." -- Mark 12:29-31

I saw that wisdom is better than folly, just as light is better than darkness. The wise have eyes in their heads, while the fool walks in the darkness; but I came to realize that the same fate overtakes them both. -- Ecclesiastes 2:13-14

For the time will come when people will not put up with sound doctrine. Instead, to suit their own desires, they will gather around them a great number of teachers to say what their itching ears want to hear. -- 2 Timothy 4:3

A Man For All Seasons

The Gods of the Copybook Headings