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…
Mathematics
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…
Publication
What makes a biological clock efficient?
Publication
The Ecological Implication of Roads
Publication
Essays for the Luca Cardelli Fest
Publication