Faculty Candidate

Computer Science, University of Wisconsin, Madison

Title: Automated Methods for Data-Driven Synthesis of Realistic and Controllable Human Motion

Title: Alignment of Whole Genomes: Algorithms and Tools

Title: A Design, Mechanism and Policy for Highly Available Software Systems

Title: Improving the Reliability of Commodity Operating Systems

Title: Realistic Approximations in Animation and Rendering

Title: Scalability and Extensibility in the Denali Virtual Machine Monitor

Title: Algorithms for Path-Planning

Title: Robust Internet Routing

Title: Program Analysis using Random Interpretation

Title: Measurement-driven Modeling and Design of Internet-scale Systems

Title: Semantically-smart Disk Systems

Title: Towards a generative model of natural motion

Title: Fast and Accurate Protein Structure Prediction

Title: From Databases to Dataspaces

Title: A Game Theoretic View of Efficiency Loss in Network Resource Allocation

Information Systems Laboratory,

Dept. of Electrical Engineering
Stanford University

Title: Convex Optimization and Applications

Title: COMPUTING EQUILIBRIA

Title: Did the great masters "cheat" using optics? The mysterious rise in naturalism in Renaissance painting

Title: Dynamical Systems and Information Theory - Can we put them together at last?

Director of MIRALab / C.U.I.
Vice-Rector of the University of Geneva

Title: Interdisciplinary Approach to the Virtual Humans Simulations

Engineering and Computer Science
Princeton University

Title: To be announced

Dept. of Computer Science

The University of Texas at Austin

Title: Model Checking Many Things:   The State of Verification and Verification by States