Talk Abstract: The goal of my research is to enable robots to work with, around, and in support of people, autonomously producing behavior that reasons about both their function _and_ their interaction with humans. I aim to develop a formal understanding of interaction that leads to algorithms which are informed by mathematical models of how humans interact with robots, enabling generalization across robot morphologies and interaction modalities.

All seniors are invited to attend this special, end-of-the-year senior banquet. Enjoy one last meal with your fellow seniors, hear a special guest speaker give advice about your impending graduation, and participate in the raffle to win prizes like Alamo Drafthouse gift certificates and brand new Xboxes!

Talk Abstract: In this talk we address the question of how to automatically map computational kernels across a wide range of computing platforms to highly efficient code, and prove the correctness of the synthesized code. This addresses two fundamental problems that software developers are faced with: performance portability across the ever-changing landscape of parallel platforms, and verifiable correctness of sophisticated floating-point code. The problem is attacked as follows: We develop a formal framework to capture computational algorithms, computing platforms, and program transformations of interest, using a unifying mathematical formalism we call operator language (OL). Then we cast the problem of synthesizing highly optimized computational... Read more

The Career Expo is held each year in September. Approximately 200 employers who hire students from various natural sciences backgrounds attend. Employers in attendance are seeking candidates for full-time, part-time and internship positions.