2025

Quantifier Elimination Over the Integers
UWORCS, April 7, 2025.

2024

Fourier-Motzkin Elimination using Saturation Matrix
Maplesoft, November 11, 2024.

A New Algorithm for Computing Integer Hulls of 2D Polyhedral Sets
Lalo 60, July 24, 2024.

Using Saturation Matrix to Efficiently Remove Redundant Inequalities
Maplesoft, June 25, 2024.

The Polyhedral Model
Distributed and Parallel Systems, The University of Western Ontario, June 20, 2024.

The Delinearization of C programs
UWORCS 2024, The University of Western Ontario, April 9, 2024.

2023

The Quickhull Algorithm for Higher Dimensional Convex Hulls
Mathematical Computation, The University of Western Ontario, July 3, 2023.

Twisted Arrow Construction for Segal Spaces
Ottawa Mathematics and Statistics Conference, University of Ottawa, May 24, 2023.

Model Structure on Simplicial Categories
Graduate Student Seminar, The University of Western Ontario, March 3, 2023.

2022

Complete Segal Spaces as a Model of Higher Categories
GROOT Summer Seminar 2022, July 6, 2022.

Higher Category Theory
Statistics and Mathematics Unit, Indian Statistical Institute, June 7, June 14, June 28, 2022.

Complete Segal Spaces as a Model of Higher Categories
Department of Mathematics, University of Trento, March 18, 2022.

2021

The Conf2 space of rational homology of S3 and propagators
Knot Theory Seminar, University of Warsaw, March 19, 2021.

Differentiable manifolds and forms, de Rham cohomology
Curves and surfaces with Mathematica, University of Warsaw, January 15, 2021.

2020

Products and cochains of equivariant cohomology theories
Topology and geometry of manifolds, University of Warsaw, December 21, 2020.

Polish Spaces
Topology and set theory, University of Warsaw, November 12, November 14, 2020.