A condensed version of my dissertation results given at the 2022 Regional AMS talk. 2022/03/26

The slides for my final dissertation talk, in which I introduced the concept of Veblen rank and demonstrated that all surreal-valued functions are of bounded complexity. 2021/10/28

The second of three talks for my dissertation, covering the foundational concepts and constructions for surreal-valued genetic functions. 2021/08/14

The first of three talks for my dissertation, in which I cover the construction of Partizan games and recover the Surreal numbers, as well as summarizing the motivational proof that the Class of Partizan games is the universal embedding object of partially ordered abelian groups. 2021/08/01

A talk given to the Louise Hay Logic Seminar at UIC concerning combinatorial games and the surreal number construction, with a focus on the analysis of the simplicity partial order relation and the sign sequence representation. 2019/11/20

A talk given at the Louise Hay Logic Seminar at UIC describing Mekler's construction, which gives an interpretation of any structure in a finite relational language inside a group, and its stability preserving properties. 2019/04/16

A talk given at the Louise Hay Logic Seminar at UIC concerning the construction of the Surreal numbers given by Gonshor. 2018/02/08

A course-related talk at a special MCS Seminar at UIC (as part of a thematic program on approximation algorithms), where I discussed on Anytime Multi-Armed Bandits and their algorithmic implementation and performance. 2017/04/28

A talk given at the MCS Seminar at UIC on instances of anytime algorithms and non-monotonic logic within the answer set programming paradigm. 2017/04/24

The second of two talks given at the Quantum Topology Seminar at UIC, relating (syntactical) Type theory and formal proof solvers with homotopy type theory. 2017/03/30

The first of two talks given at the Quantum Topology Seminar at UIC, relating (syntactical) Type theory and formal proof solvers with homotopy type theory. 2017/03/23

Slides corresponding to a research paper co-authored with several graduate students for Lev Reyzin's Mathematics of Artificial Intelligence course. 2016/11/23

The fourth lecture given as part of the Math for the Real World seminar I jointly ran at UIC. 2016/10/25

Lecture notes for the third lecture given as part of the Math for the Real World seminar I jointly ran at UIC. 2016/10/18

The second lecture given as part of the Math for the Real World seminar I jointly ran at UIC. 2016/10/11

The first technical lecture I gave as part of the Math for the Real World seminar I jointly ran at UIC. 2016/09/20.

A talk given to the MCS Seminar at UIC on Logic Programming using the Answer Set Programming paradigm (and Prolog in particular) to provide examples of principles. 2015/11/30.

Lecture notes for a talk given at the Algebraic Topology Seminar at the University of Waterloo. 2015/03/12

Corresponding talk given on final paper for Homotopy Type Theory cross listed between University of Waterloo and the Perimeter Institute. 2014/07/23