In 1975, William W. Wadge and Edward A. Ashcroft introduced the language Lucid, in which the value of a variable was a stream. The successors to Lucid took two paths. The first path, taken by Lustre, ...

A precisely controlled quantum system may reveal a fundamental understanding of another, less accessible system of interest. A universal quantum computer is currently out of reach, but an analogue ...

Proteins represent the most sophisticated building blocks available to an organism and to the laboratory chemist. Yet, in contrast to nearly all other types of molecular building blocks, the designed ...

Fall 2016 - Fall 2019. This award investigates the mechanics of how synthetic surfaces with micrometer-sized pillars adhere to and slide on soft and wet substrates. Micro-pillar arrays have been ...