Projects funded for the 2012-2013 academic year

Bjorn Barrefors (First Year UCARE Student)
An Energy Management Software System for MapReduce Data Centers
Faculty sponsor: Ying Lu

Caleb Berggren (First Year UCARE Student)
Wireless power transfer
Faculty sponsor: Carrick Detweiler

Daniel Dobos (First Year UCARE Student)
Encoding SQL statements as solvable constraints
Faculty sponsor: Sebastian Elbaum

Daniel Geschwender (First Year UCARE Student)
Mapping Solving Techniques between Boolean Satisfiability and Constraint Processing
Faculty sponsor: Berthe Y. Choueiry

Sing hwa Lee (First Year UCARE Student)
Analyzing Interaction Data of Online Learning Objects
Faculty sponsor: Leen-Kiat Soh

Max Rowe (First Year UCARE Student)
Computational Simulations for the Unified Learning Model
Faculty sponsor: Leen-Kiat Soh

Mary Burke (Second Year UCARE Student)
Coordinating Multiple Solvers In the Context of Resource Allocation
Faculty sponsor: Berthe Y. Choueiry

Carson Crawford (Second Year UCARE Student)
Real Time Visualization of Temperature Variances in a Supercomputer Data Center
Faculty sponsor: David Swanson

Keegan Lunn (Second Year UCARE Student)
Continuation of Constraint Processing
Faculty sponsor: Berthe Y. Choueiry