Simon Fraser University

Multiplayer games model the behavior of competing agents, and we are interested in the structure that emerges when the number of agents is large. The Dyson and Coulomb games are N-agent dynamic games that admit well studied models of statistical...

We will disucss some recent advances in the convergence of Anderson acceleration, an extrapolation technique that can be applied to general fixed-point iterations. The theory will be illustrated on some examples of systems arising from finite element...

How does representation of a problem affect the complexity of solving it? What is the interplay between the richness of a domain in which a statement is expressed and the complexity of proving that statement? Not only this is a fundamental question...

In this talk I will introduce a new semi-algebraic proof system, called Stabbing Planes that is in the style of DPLL-based modern SAT solvers. Stabbing Planes proofs extend the DPLL branching from single variables to branching on arbitrary linear...

Could an asteroid that explodes over the ocean generate a tsunami threatening coastal populations far away? We show simulations of tsunami propagation from asteroid-generated airbursts. We then present a 1D model with an explicit solution to better...

A theme that cuts across many domains of computer science and mathematics is to find simple representations of complex mathematical objects such as graphs, functions, or distributions on data. These representations need to capture how the object...

Solvers for the Boolean satisfiability problem have been increasingly used to solve hard problems from many fields and now routinely solve problems with millions of variables. Combinatorial problems are a natural target, as SAT solvers contain...

We explore graphs of high cop number. We give new lower bounds for cop number of graphs of high girth. We also present a new class of undirected graphs with cop number $(1-o(1)) \sqrt{n/2}$ and a class of directed graphs with cop number $(1-o(1))...

To understand the fluid dynamics of marine phenomena fluid-structure interaction problems must be solved. Challenges exist in developing analytical and numerical techniques to solve these complex flow problems with boundary conditions at fluid...

We consider an aggregation model that consists of an active transport equation for the macroscopic population density, where the velocity has a nonlocal functional dependence on the density, modelled via an interaction potential. We set up the model...