|
|||||
ResearchInterestsI am currently a member of the HCI Group, advised by Scott Klemmer. I am interested in building tools that help software developers rapidly prototype and ideate on interactive systems. Current WorkI'm currently working on building better tools for opportunistic programming, a style of development that enables rapid prototyping and ideation by emphasizing speed and ease of development over robustness and maintainability of code. PublicationsPapers and Presentations
Theses
IndustryDuring the summer of 2006, I interned at a small start-up in the valley called Google. I worked as an engineer on the personalized search team. During spring and summer of 2005, I worked for Arc Second, Inc. (now Metris) developing application software for metrology. Most of my time was spent integrating various pieces of hardware to produce customer-specific applications. I also contributed to software and methodology for calibration and quality control. From May 2003 to May 2004, I worked for Mass Sensors, Inc. Mass Sensors was a small start-up company in St. Louis focused on building small, inexpensive mass spectrometers. I developed firmware, research software, and application software for these devices. While Mass Sensors is no longer around, much of the intellectual property is owned by Ceramitron, Inc. Past WorkRecently, I worked on Lash-Ups, a toolkit for the development of light weight location-aware applications. I've also worked with Ron Yeh on GIGAprints. The mission of GIGAprints states that "The Interactive Gigapixel Prints (GIGAprints) project is an experiment in the future of collaborative workspaces, where printed visualizations are augmented with projectors and mobile devices. We designed, built, and tested interactions and visualizations that best suit these large paper surfaces." I briefly worked with Ling Xiao on machine learning and visualization techniques for network intrusion detection, as part of Pat Hanrahan's Visualization Group. I was focused on visualization and analysis techniques for situational awareness within a large network. Sean Rosenbaum, Jiayi Chong, and I put together some ideas on using clustering techniques to aid exploration of large, complex data sets. During my Master's work at Washington University in St. Louis, I was a member of Aaron Stump's Computational Logic group. My main area of research involved static algorithm verification through type checking. I completed a Masters Thesis on an inductive definition of manifold meshes. In this work, I present a set of rules for constructing manifold meshes that is sound and complete. Specifically, it guarantees connectedness, orientability, and manifoldness of any structure constructed. This definition is then embedded in the Edinburgh Logical Framework (LF), and encoded in Rogue-Sigma-Pi as a set of dependent data types. It is our hope that these data types can be used for static algorithm verification. While I was an undergraduate at Washington University in St. Louis, I was part of Ken Goldman's research group focused on the development of JPie, a live visual programming environment for Java. My work dealt with enabling live class hierarchy modifications within the system. A senior thesis on this work is available. Personal |
|||||