Video
The Future of Mathematics?
As a professor of pure mathematics, my job involves teaching, research, and outreach. Two years ago I got interested in formal methods, and I learned how to use the Lean theorem prover developed at MSR.…
Mathematics
Video
Dashboard Mechanisms for Online Marketplaces
We present a theoretical model for design and analysis of mechanisms for online marketplaces where a bidding dashboard enables the bid-optimization of long-lived agents. We assume that a good allocation algorithm exists when given the…
Video
Reproducible Codes and Cryptographic Applications
In this talk I will present a work in progress on structured linear block codes. The investigation starts from well-known examples and generalizes them to a wide class of codes that we call reproducible codes.…
Tool
Computing supersingular isogenies on Kummer surfaces
This download contains Magma files that exhibit supersingular isogeny computations on Kummer surfaces. It is intended for research purposes only.
