computational thinking, carnegie mellon
Sponsored by
microsoft research
 
  Symposia  
 
MONDAY, 26 MARCH 2007, Newell-Simon Hall 3305
  SCHEDULE OF EVENTS
9:15 am - 10:00 am

Continental Breakfast and Opening Remarks

Welcome
JARED COHON,
President, Carnegie Mellon University

Microsoft Introduction
RICK RASHID,
Senior Vice President, Microsoft Research

Computational Thinking and the Future of Computing
JEANNETTE M. WING,
President's Professor and Head, Computer Science Department, Carnegie Mellon

Computational thinking is a way of solving problems, designing systems, and understanding human behavior based on concepts fundamental to computer science. It involves thinking in multiple layers of abstraction at once and gives us the power to scale beyond our imagination.

10:00 am - 11:00 am

Research Mind Swap 1

Computer - Human Synergies and Automated Creativity
HENRY COHN,

Theory Group, Microsoft Research
LUIS VON AHN,
Computer Science Department, Carnegie Mellon


Humans are good at solving some problems, while computers are good at solving others. This session will explore how humans and computers can work together to solve problems neither could handle separately.

11:00 am - 11:15 am
Break
11:15 am - 12:15 pm

Research Mind Swap 2

Using Type Theory and Program Logics to Build More Dependable Computational Systems
DAVID TARDITI,
Advanced Compiler Technology Group, Microsoft Research
JOHN REYNOLDS,
Computer Science Department, Carnegie Mellon


Reasoning about programs is a fundamental aspect of computational thinking. Research at both Carnegie Mellon and Microsoft is focusing on how to use type theory and program logics to reason about programs. Carnegie Mellon has a distinguished history of developing improved type theories and program logics for these purposes and Microsoft Research is studying how to apply them in the Singularity project to build more dependable computational systems. Discussion will focus on our current research efforts in this area and how they complement each other.

12:15 pm - 1:30 pm
Lunch: Newell-Simon Hall Perlis Atrium Hosted by RICK RASHID and MICROSOFT RESEARCH
1:30 pm - 2:30 pm

Research Mind Swap 3

Auctions, Game Theory, and Algorithms
NICOLE IMMORLICA,
Theory Group, Microsoft Research
TUOMAS SANDHOLM,
Computer Science Department, Carnegie Mellon
AVRIM BLUM,
Computer Science Department, Carnegie Mellon

Auction design and game-theoretic issues are playing an increasing role in how we model computational problems and how we use and think about computation today. This session will highlight some of the work going on at Carnegie Mellon and Microsoft Research on these topics.

2:30 pm - 4:15 pm

Interdisciplinary Computational Education Roundtable

Computing expertise is now necessary to solve hard problems in most disciplines. What are the specific computational challenges facing computing in other disciplines? How do educators prepare students for those challenges?

eScience and Cyberinfrastructure
TONY HEY,
Corporate Vice President, Microsoft Corporation



Moderator
YAN XU,
Microsoft Research


Panelists

LENORE BLUM,
Computer Science Department, Carnegie Mellon
TOM CORTINA,
Computer Science Department, Carnegie Mellon
DAVID KAUFER,
Department of English, Carnegie Mellon
ROGER DANNENBERG,
Computer Science Department and the School of Art,
Carnegie Mellon

DAVID YARON,
Department of Chemistry, Carnegie Mellon

BEN FRY,
School of Design, Carnegie Mellon
TIZIANA DI MATTEO,
Department of Physics, Carnegie Mellon
DANNIE DURAND,
Departments of Biological Sciences and Computer Science, Carnegie Mellon
STEPHANIE ROSENTHAL,
Senior, Computer Science Department, Carnegie Mellon

4:15 pm - 4:30 pm
Break
4:30 pm - 5:30 pm

Jared Diamond Lecture

Dickson Prize Winner
McConomy Auditorium, University Center