Mathematics
Publication
One-Dependent Coloring by Finitary Factors
Video
Northwest Probability Seminar 2014 – Sharp higher order corrections for the critical value of a bootstrap percolation model
Bootstrap Percolation (BP) models are simple cellular automata with a deterministic growth rule and random initial configuration. It is known that (critical) BP models on the lattice undergo a metastable phase transition on a lattice…
Project
Ironclad
An Ironclad App lets a user securely transmit her data to a remote machine with the guarantee that every instruction executed on that machine adheres to a formal abstract specification of the app’s behavior. This…
Publication
Building robust conservation plans
Video
LIQUi|>: A Software Design Architecture and Domain-Specific Language for Quantum Computing
Languages, compilers, and computer-aided design tools will be essential for scalable quantum computing, which promises an exponential leap in our ability to execute complex tasks. LIQUi|> is a modular software architecture designed to control quantum…
