Spring 2025

80-602: Philosophy Core Seminar II. Carnegie Mellon University. (With Aydin Mohseni.)

80-618: Formal Methods—Algorithmic Randomness (Mini-4). Carnegie Mellon University.

Fall 2024

80-310/80-610: Formal Logic. Carnegie Mellon University.

Summer 2024

Chance and randomness, 2024 CMU Summer School in Logic and Formal Epistemology. (With Krzysztof Mierzewski.)

Spring 2024

80-811: Professional Development Seminar. Carnegie Mellon University.

80-150: Nature of Reason. Carnegie Mellon University.

Summer 2023

Chance and randomness, 2023 CMU Summer School in Logic and Formal Epistemology. (With Krzysztof Mierzewski.)

Spring 2023

80-811: Professional Development Seminar. Carnegie Mellon University.

80-604: Formal Methods—Computability Theory (Mini-4). Carnegie Mellon University.

Fall 2022

80-822: Seminar on Meta-Induction. Carnegie Mellon University.

Summer 2022

Probability and Randomness, LPS Summer Diversity Program. (With Simon Huttegger.)

Spring 2022

80-618: Formal Methods—Algorithmic Complexity (Mini-4). Carnegie Mellon University.

80-315: Modal Logic. Carnegie Mellon University. (With Adam Bjorndahl and Krzysztof Mierzewski.)

80-150: Nature of Reason. Carnegie Mellon University.

Fall 2021

80-310/80-610: Formal Logic. Carnegie Mellon University.

Summer 2021

Algorithmic randomness and learning, 2021 CMU Summer School in Logic and Formal Epistemology.

Spring 2021

80-316/80-716: Logic and AI. Carnegie Mellon University.

80-150: Nature of Reason. Carnegie Mellon University.

Fall 2020

80-817: Seminar on Topics in Logic—Algorithmic Randomness and the Foundations of Probability. Carnegie Mellon University.