its and mobile robotics. I am also interested in applying techniques from computational mathematics more broadly; for example, to simulation and control of a virtual human. Previous and Current Work Modern machines, be they microprocessors or aircraft, are fantastically complex systems

Broadly speaking, I am interested in sequential decision-making under uncertainty, and optimal meth-ods for information collection. Specifically, my methodological interests include simulation optimization, global optimization, feasibility determination, uncertainty quantification, etc

Formal methods in software engineering, software specification and verification: model checking, static analysis, symbolic execution, run-time analysis, verification of partially implemented systems, automated environment generation. Research Experience

Payout policies, share repurchases, market timing, investment financing RESEARCH Market timing effect VS. financial fundamental effect: when a repurchase is not just a payout

Maelstrom: Reliable Communication over Lambda Networks — Conceived, designed and built the Maelstrom appliance, a transparent gateway proxy that uses Forward Error Correction (FEC) to recover from losses in optical links. User-space and Linux kernel versions of Maelstrom have been implemented and evaluated. Also collaborating in the SMFS project, a distributed filesystem layered over Maelstrom, and KyotoFS, a filesystem for saving power within and across datacenters. At Cornell University — Project Lead In NSDI 2008, HotOS 2007 Ricochet: Time-Critical Reliable Multicast for Datacenters — Invented and built Ricochet, a reliable multicast protocol that uses receiver-based FEC to rapidly recover lost packets. Offshoots of Ricochet include Mistral, an application of receiver-based FEC to mobile ad-hoc networks, PLATO, a total ordering protocol for datacenters, and Tempest, a run-time environment

1. Quantile options and options based on occupation times. I have done an amount of research on this (see items [3], [4], [5] and [10], which can be summarised by an identity that obtains the distribution of the quantile of a Lévy process as the convolution of two independent random variables

MultithreadedTC, a framework for testing small concurrent abstractions. Marmoset A framework for testing student programming projects and collecting snapshots from the development process to support future research. SDE Intern, Microsoft (with Dr. Jason Yang) ATMetrics: An Instrumentation Framework for Static

with Tim Cochran, Bridget Franklin, and Matthew Hedden to appear in Proceedings of the American Mathematical Society at arXiv:1102.5730 3. Higher-order signature cocycles for subgroups of mapping class groups and homology cylinders with Tim Cochran and Shelly Harvey International Mathematics Research

Computer Systems and Networks, with an emphasis on maintainability, reliability, scalability, and availability of computer systems and networks. Research Experiences 2011 – Automatic Misconfiguration Troubleshooting and Diagnosis: Misconfigurations are among the dominant causes of system failures

by decreasing the number of more experienced and higher paid staff. Yet, little is known about how these incentives affect students. In this paper, I study the impact of ERIs on student performance during a period of high layoffs in California. California provides an interesting case study due to its “Last