Past Events

A video of this event is available on mathtube.org. What can mathematics tell us about the treatment of cancer? In this talk I will present some of work that I have done in the modeling of tumor growth and treatment over the last fifteen years...

All standard regression models have assumptions that must be verified for the model to have power to test hypotheses and to make accurate predictions. This course will emphasize methods for assessing and satisfying the linearity and additivity...

Abstract: In October 2017, I found myself testifying for hours in a Federal court. I had not been arrested. Rather I was attempting to quantify gerrymandering using analysis which grew from asking if a surprising 2012 election was in fact surprising...

The inmate assignment project is a highly successful prescriptive analytics project. It was conducted in close collaboration with the PA Dept. of Corrections, took five years from start to successful implementation. Our novel Inmate Assignment...

Building secure cryptographic implementations is notoriously hard. In this talk, I will outline a general methodology that delivers formal guarantees on assembly-level implementations through a combination of ideas from deductive program verification...

The first introductory lecture may be followed as a colloquium talk, independent of the subsequent lectures. Lectures 1 and 2 are independent. Lectures 3 and 4 are independent, but each of them depends on Lecture 2. The lectures will be completed by...

We consider the family of D_4-quartic fields ordered by the Artin conductors of the corresponding 2-dimensional irreducible Galois representations. In this talk, I will describe ways to compute the number of such D_4 fields with bounded conductor...

We present a new representation of the Mallows permutations to stable matchings on a random bi-partite graph. We also derive new results for the scaling limits of the cycles in the Mallows permutations in terms of the Ethier-Kurtz diffusion. Joint...

In the simulation of complex physics, multiple model forms of varying fidelity and resolution are commonly available. In computational fluid dynamics, for example, common model fidelities include potential flow, inviscid Euler, Reynolds-averaged...