One of the most important results in logic is Kurt Gödel’s work from 1931 that proved that some questions in mathematics cannot be resolved — that mathematics has limits.
Anyone who’s used a pen with a tablet appreciates how precisely the instrument allows them to write, draw, and manipulate objects. A pen is natural input device, one that’s much more nuanced than a mouse or touchpad. Despite its precision and ease of use, many tablet applications still need menus, buttons, and widgets for a user to switch between tools, to set their attributes, and to issue commands.
Nabiha Asghar, PhD candidate
David R. Cheriton School of Computer Science
Li Liu, PhD candidate
David R. Cheriton School of Computer Science
Following my previous seminar talk on embezzlement of entanglement, this talk introduces a more general version of the problem — self-embezzlement. Instead of embezzling a pair of entangled state from a catalyst, self-embezzlement aims to create two copies of the catalyst state using only local operators.
Murray Dunne, Master’s candidate
David R. Cheriton School of Computer Science
Distributed, life-critical systems that bridge the gap between software and hardware are becoming an integral part of our everyday lives. From autonomous cars to smart electrical grids, such cyber-physical systems will soon be omnipresent. With this comes a corresponding increase in our vulnerability to cyber-attacks. Monitoring such systems to detect malicious actions is of critical importance.
Jade Marcoux-Ouellet, Master’s candidate
David R. Cheriton School of Computer Science
John P. Conley, Department of Economics
Vanderbilt University
Blockchains are distributed, immutable, append only, ledgers designed to make trustless interactions between anonymous agents feasible and safe. The ledgers are maintained by networks of independent nodes who process transactions and come to a consensus view of which are valid and how this affects the ledger state. The integrity of blockchain ledgers therefore depends on the incentives contained in the consensus protocols that are designed to make the validating nodes behave honestly.
Dhinakaran Vinayagamurthy, PhD candidate
David R. Cheriton School of Computer Science
Zeming Liu, Master’s candidate
David R. Cheriton School of Computer Science