computational thinking, carnegie mellon
Sponsored by
microsoft research
  Please note: as of February 2013, this site is no longer being actively maintained or updated.  
  Microsoft Corporation REVIEW
Monday, May 14, 2012

Carnegie Mellon University – Microsoft Research
Center for Computational Thinking

Presentations and Executive Review

Monday, May 14, 2012

Review Host and Lead:

Jeannette Wing, Head of the Department of Computer Science and Director of the Center for Computational Thinking

Primary Attendees from Microsoft Research:

Roy Levin, Distinguished Engineer and Managing Director of Microsoft Research, Silicon Valley
Tony Hey, Vice President, Microsoft Research Connections
Jim Pinkelman, Senior Director, Microsoft Research Connections
Harold Javid, Director, Microsoft Research Regional Programs

Other MSR participants welcome at the discretion of Harold Javid.

MSR primary contact: Harold Javid   <> 206 660 5300
CMU primary contact: Dan Jenkins   <>  607 342 1588

Center Review Agenda

Monday, May 14th
Location: Gates-Hillman Center (GHC) – Room 6115

8:00 – 8:30 a.m. Continental Breakfast
8:30 – 9:00 a.m.  Overview pptx
Jeannette M. Wing, President’s Professor of Computer Science and Department Head, SCS
9:00 – 9:30 a.m. Kinect-Based CompuCeptionist in GHC:
Manuela Veloso, Herbert A. Simon Professor, Computer Science Department, SCS
9:30 – 9:45 a.m. Data-Driven Uniqueness for Image Retrieval and Object Detection zip
Abhinav Gupta, Assistant Research Professor, Robotics Institute, SCS
9:45 – 10:15 a.m. Constraint Satisfaction Problems; Trichotomies:
Ryan W. O’Donnell, Associate Professor, Computer Science, SCS pptx
10:15 – 10:30 a.m. Privacy-Preserving Information Release from Social Networks PDF
Avrim Blum, Professor, Computer Science, SCS
10:30 – 10:45 a.m. Break
10:45 – 11:15 a.m. Specification and Verification in Introductory Computer Science PDF, pptx
Frank Pfenning, Professor of Computer Science
11:15 – 11:30 a.m. Monitoring Student Attitudes in Light of Changes in the CMU CS Curriculum; Sustaining the Women-CS Fit at CMU pptx
Carol Frieze, Director, Women @SCS – SCS Website Coordinator, School of Computer Science
11:30 – 12:00 p.m. 

Feedback from Review Committee

Location: Gates-Hillman Centers (GHC) – 7th Floor Atrium

12:00 –  1:00 p.m.

Informal Lunch, Poster Review

Poster Session/Lunch

The Profit Maximizing Cutoff in Observable Queues with State Dependent Pricing
Christian Borgs (MSR-NE), Jennifer T. Chayes (MSR-NE), Sherwin Doroudi (CMU-Tepper), Mor Harchol-Balter (CMU-CS), Kuang Xu (MIT-LIDS) PDF, pptx

Art & Code
Golan Levin PDF

Social welfare maximization in an online fashion PDF
Avrim Blum, Anupam Gupta, Yishay Mansour, Ankit Sharma


1:15 – 8:30 p.m.  MSR guests join Mind Swap: The Intersection of Computer Science and Economics, room 6115 Gates (see Mind Swap agenda)


Mindswap Poster