Supported Projects

Learn about the research projects External Research & Programs has supported at universities around the world.

Over the past three of years, the External Research & Programs group has supported more than 200 research projects at universities around the world. Learn more about this collaboration by looking at some of the projects we’re supporting.

Research areas:

Bioinformatics

2006

• Computational Interchange Standards for Synthetic Biology
  Herbert Sauro, University of Washington, U.S.
• Design and Synthesis of Minimal and Persistent Protein Complexes
  David Green, Steven Skiena, State University of New York at Stonybrook, U.S.
• BioStudio: A Collaborative Editing and Revision Control Environment for Synthetic Genomes
  Joel Bader, Jef Boeke, Johns Hopkins University, U.S.
• Identification of Standard Gene Regulatory Sequences for Synthetic Biology
  Robert Holt, University of British Columbia, Canada
• Using Programmable Stacking Bonds to Combine DNA Origami into Larger, More Complex, Reconfigurable Structures
  Paul W.K. Rothemund, Erik Winfree, California Institute of Technology, U.S.
• Noise Suppression and Next-Generation Cloning Vectors
  Johan Paulsson, Harvard University, U.S.

back to top

Biomedical Computing

2007

• Using Smartphones to Enable Interaction and Communication with Autistic Children
  Gondy Leroy, Claremont Graduate University; Gianluca De Leo, Old Dominion University, U.S.
• HealthNet: networking the WESTs (Wireless Embedded medical SysTems)
  Mario Gerla and Majid Sarrafzadeh, UCLA Department of Computer Science, U.S.
• OsteoConduct: Musculo-Skeletal Conduction for Secure Data Communication
  Michael Liebschner and Lin Zhong, Rice University, U.S.
• Enabling Wireless Sensor Devices for Health Care Networks
  Leo Selavo and John A. Stankovic, University of Virginia, U.S.
• Measuring circadian activity deviation for activity pattern recognition and smart power consumption in Wireless Sensor Networks
  Gilles Virone and John A. Stankovic, University of Virginia, U.S.
• Cortically-Coupled Computing
  Rajesh Rao, University of Washington, U.S.

back to top

Compilers, Languages, and Runtimes

2006

• Compiler Support for Software Transactional Memory
  Brown University, U.S.
• Phoenix-Based Optimizing Compilers Course Development
  Indian Institute of Information Technology, Hyderabad, India
• Integrating Dynamic Slicing into the coredbg Debugger
  University of Arizona, U.S.
• A Testbed for Studying the Order and Combination of Code Optimization Phases
  Harvard University, U.S.
• PTV: Translation Validation in the Phoenix Compiler Framework
  University of Illinois at Chicago, U.S.
• Phase Detection and Optimization
  University of California at Santa Barbara, U.S.
• Extending Dynamic Features of the SSCLI
  University of Oviedo, Spain
• A Lua Compiler for the Phoenix Framework
  Pontifícia Universidade Católica do Rio de Janeiro, Brazil
• Developing a Testing Framework for Security
  University of Virginia, U.S.
• A Viable Approach to Compiling Sequential Codes for CMPs
  Princeton University, U.S.
• Improving the Compilation of Lazy Functional Languages Using Phoenix and the SSCLI
  Federal University of Pernambuco, Brazil
• A Phoenix-Based Tool for Data Flow Testing
  University of Belgrade, Serbia and Montenegro
• Concurrency Support for Managed Code and Interactive AsmL
  University of Zagreb, Croatia
• SPBU for Phoenix (SPBU4PHX): A Set of Compiler Development and AOP Tools Based on Phoenix
  St. Petersburg University, Russia
• Adaptive Heap Size Control Using Phoenix and .NET Virtual Machine
  University of Rochester, U.S.
• Region Memory System for Scalable Performance
  National University of Singapore

2005

• Constructing Compact Debugging Traces with Binary Code Analysis and Instrumentation
  Yinong Chen, Arizona State University
• Phoenix-Based Compiler Course Development
  Regeti Govindarajulu, Indian Institute of Information Technology, Hyderabad
• Compiler Backend Experimentation and Extensibility Using Phoenix
  Suresh Jagannathan, Purdue University
• Adaptive Inline Substitution in Phoenix
  Keith Cooper, Rice University
• Domain-Specific Language for Efficient Design-Rule Checking
  Eric Wohlstadter, The University of British Columbia
• Setpoint: An Aspect Oriented Framework Based on Semantic Pointcuts
  Victor Braberman, Universidad de Buenos Aires
• Phase Aware Profiling with Phoenix
  Chandra Krintz, University of California at Santa Barbara
• Using Call Graph Analyses to Guide Selective Specialization in Phoenix
  Cormac Flanagan, University of California at Santa Cruz
• Program Visualization with Fulcra and Phoenix
  Wen-Mei Hwu, University of Illinois at Urbana-Champaign
• Navel: Automating Software Support Using Traces of Software Behavior
  Emmett Witchel, University of Texas at Austin
• Techniques and Tools for Software Assurance
  Jack Davidson, University of Virginia
• Type-Checking the Intermediate Languages in the Phoenix JIT Compiler
  Zhong Shao, Yale University

back to top

ConferenceXP

2005

• Enhancing Reliability by Supporting Path-Diversity Overlay Retransmission
  Wenjun Zeng, University of Missouri at Columbia
• Visual Information Manager
  Klara Nahrstedt, University of Illinois at Urbana-Champaign
• Supporting and Enhancing Cooperative Learning with ConferenceXP-powered I-MINDS
  Leen-Kiat Soh, University of Nebraska
• Windows Media Transcoding Using ConferenceXP Archive Service Data
  Fred Videon, University of Washington
• Advanced Classrooms Exploiting Tiled Displays and Student Computers
  Patrick Mantey, University of California at Santa Cruz

2004

• Classroom Presenter Development and Deployment
  Richard Anderson, University of Washington
• The Classroom Learning Partner: Electronic Support for Student Learning
  Kimberle Koile, Massachusetts Institute of Technology
• Peer-to-Peer Multi-Reflector Networking for ConferenceXP
  Hayder Radha, Michigan State University
• Implementing ConferenceXP in a Multi-cultural, Collaborative, Academic Environment
  Gino Sorcinelli, University of Massachusetts Amherst Isenberg School of Management
  Murray Scott, National University of Ireland, Galway

back to top

Digital Inclusion

2005

• Digital Inclusion Kit in Health and Higher Education
  Guillermo Marshall, University of Buenos Aires
• Mesh Networking: A Testbed for Security Issues and Community Actions
  Carlos Osvaldo Rodriguez, Cequinor/Lanais EFO, CONICET-UNLP
• Integrated Healthcare Information Services through Mobile telephony in Botswana
  Henry Nyongesa, University of Botswana
• Robust and Low-Cost Networking for Rural Kiosks
  Srinivasan Keshav, University of Waterloo
• Wi-Fi Enabled Phones for Bridging the Cognitive Divide and Transforming the Classroom Experience
  Miguel Nussbaum, Universidad Catolica de Chile
• Project of Modern Long-Distance Education for Agricultural and Pastoral Area in Tibet Autonomous Region
  NyiMaTraShi, Modern Educational Technology Center, Tibet University
• Design and Development of a Low-Cost, Low-Power Portable Medical Device Integrated with PC, PDA, and Mobile Platforms for Telemedicine Application
  M.B. Srinivas, International Institute of Information Technology
• Appropriate Technology Interaction for Facilitating Peer-to-Peer Internet Microfinance in Uganda
  Jan Carel Diehl, Delft University of Technology
• Poor Man’s Broadband: Peer-to-Peer Dialup Networking
  Umar Saif, Lahore University of Management Sciences, Pakistan
• Deployment Wireless Ambient Networks on Heterogeneous Rural Environments
  Eduardo Grampín, Instituto de Computación. Universidad de la República, Uruguay
• DSH and CAM: Leveraging Low-Cost Technology for Rural India
  Thomas Anderson, University of Washington
• Wireless Grids: A Technology for Rural Networking
  Suman Banerjee, University of Wisconsin-Madison
• AIR: Advancement Through Interactive Radio
  John Canny, University of California at Berkeley
• Immersive Language Learning Using Smart Phones
  John Canny, University of California at Berkeley
• Smartphone Health Information and Epidemiology Network (SHIEN) — Vietnam
  Joseph Rosen, MD, Thayer School of Engineering, Dartmouth College
• Speech Interfaces for Health Information-Access in Underserved Communities
  Roni Rosenfeld, Carnegie Mellon University
• Early Warning Flood Systems Based on Sensor Networks
  Daniela Rus, Massachusetts Institute of Technology

back to top

Digital Memories (Memex)

2005

• Personal Audio Life Logs
  Dan Ellis, Columbia University
• Beyond Human Memory: SenseCam Use in Veterinary College and as Assistive Technology
  Manuel A. Pérez-Quiñones, Edward Fox, Virginia Tech
• Content-Based Similarity Search with MyLifeBits
  Kai Li, Princeton University
• Integration of Memex and PlaceLab Datasets for Personal Investigations of Health and Living Patterns
  Stephen Intille, Massachusetts Institute of Technology
• Landmark Generation from SenseCam Images
  Alan Smeaton, Dublin City University
• MyHealthBits: Advanced Personal Health Record
  Bambang Parmanto, University of Pittsburgh
• What Did We See? Facilitating the Interaction of Personal and Community Journaling of Natural Spaces
  Chris Pal, Sarah Dorner, Jerry Schoen, University of Massachusetts
• Automatic Vs. Manual Capture of Health-Related Experiences
  Brian Smith, Penn State University, Jeana Frost, Boston University
• Development of a Platform for Continuous and Discrete Recording and Retrieval of Personal Life
  Kiyoharu Aizawa, The University of Tokyo
• Listen to Dream to Know
  Mark Bolas, University of Southern California
• Memex Metadata (M2) for Personal Educational Portfolio
  Jane Greenberg, John Oberlin, Peter White, University of North Carolina at Chapel Hill
• Supporting Alzheimer’s Patients Through Memory Augmentation
  Anind Dey, Carnegie Mellon University
• Using Context to Evaluate Augmentative Communication Technology
  Rich Simpson, University of Pittsburgh
• Multi-Sensory Analysis, Summarization for Stroke-Patient Rehabilitation in Biofeedback Environments
  Hari Sundaram, Todd Ingalls, Arizona State University

back to top

eScience

2007

• Data Mining Everywhere
  Alexander G. Gray, Georgia Institute of Technology, U.S.
• RouteXensor
  Henri ter Hofte, Telematica Instituut, The Netherlands

2006

• Computational Interchange Standards for Synthetic Biology
  Herbert Sauro, University of Washington, U.S.
• Design and Synthesis of Minimal and Persistent Protein Complexes
  David Green, Steven Skiena, State University of New York at Stonybrook, U.S.
• BioStudio: A Collaborative Editing and Revision Control Environment for Synthetic Genomes
  Joel Bader, Jef Boeke, Johns Hopkins University, U.S.
• Identification of Standard Gene Regulatory Sequences for Synthetic Biology
  Robert Holt, University of British Columbia, Canada
• Using Programmable Stacking Bonds to Combine DNA Origami into Larger, More Complex, Reconfigurable Structures
  Paul W.K. Rothemund, Erik Winfree, California Institute of Technology, U.S.
• Noise Suppression and Next-Generation Cloning Vectors
  Johan Paulsson, Harvard University, U.S.

2005

• Microsoft Excel-caBIG Smart Client Joining the Fight Against Cancer
  Katarzyna Macura, Johns Hopkins Medical Institutions
• Agent-Based Chemistry Knowledge Mining Tool for Drug Discovery
  David Wild, Indiana University
• Xensor for Smartphone
  Henri ter Hofte, Telematica Instituut; the Netherlands
• A Tiered Smart Client System for Annotating the Land-Water Interface: Enabling Scientific Simulation
  Piotr Parasiewicz, University of Massachusetts at Amherst
• ProDA’s Smart Clients for On-Line Scientific Data Analysis
  Cyrus Shahabi, University of Southern California
• Standardizing the Use of Web Services for Communicating Hydrologic Data
  Jon Goodall, Duke University
• Function Express Gold: A caBIG Grid-Aware Microarray Analysis Application
  Rakesh Nagarajan, Washington University
• Microsoft Excel Add-in for Creation of Survival Curves
  Haseeb Khan, King Saud University

2004

• Advanced Biomedical Computing Systems for Cancer Research
  May Dongmei Wang, Georgia Institute of Technology and Emory University
• Parallel Analysis and Visualization of Astronomical Data in SQL databases
  Thomas R. Quinn, University of Washington
• Pictorial Query Specification for Searching a Spatially Referenced Breast Cancer Image Database
  Hanan Samet, University of Maryland
• A Comprehensive Protein Database Indexed by Spatial Motifs “MotifSpace”
  Wei Wang, University of North Carolina at Chapel Hill Chapel Hill
• A Parallel Cross-Match Engine for Astronomy
  Maria Nieto-Santisteban, Johns Hopkins University
• SQL.CT: Using Database Systems for Remote, Web-Based Visualization of Tomographic Data
  Julian Humphries, Greg Lavender, and Shirley Cohen, The University of Texas at Austin
• PetaByte Data Management and Analysis Services for Data-Driven Science
  Johannes Gehrke, Cornell University
• .NET-enabled Data Management for Adaptive Parallel Numerical Applications on Computational Grids
  Sathish Vadhiyar, Indian Institute of Science
• Sangam
  Shahram Ghandeharizadeh, University of Southern California (USC)
• The Gateway to Biology Pathways
  Keyuan Jiang, Purdue University Calumet
• Web Service Access to Streaming NEXRAD Level II Radar Data
  Beth Plale, Indiana University
• Dynameomics: Internet Database and Web Portal for Molecular Dynamics Simulations of Proteins
  Valerie Daggett, University of Washington
• Large-Scale Integration of Different Data Modalities for Computational Medical Sciences
  Mark Garbey, University of Houston
• SCORM Public-Access Repository
  Carlos Alberto Cobos Lozada, Universidad del Cauca
• OpenArXiv = arXiv + RDBMS + Web Services
  Dongwon Lee, Penn State University
• Migrating E-Transit Databases and Web Services to a TerraService Model
  Uma Shama and Lawrence J. Harman, Bridgewater State College
• Web Service Multimodal Tools for Strategic Biodiversity Research, Assessment and Monitoring
  Claudia Bauzer Medeiros, UNICAMP

back to top

Excellence in Software Engineering

2004

• Formal Methods in Software Development Courses
  Michael Ernst; Massachusetts Institute of Technology
• A Course Project for Teaching Lightweight Formal Methods
  Alex Aiken; Stanford University
• Using SeSF to Formally Define and Test Programs Course
  A. Udaya Shankar; University of Maryland
• Formal Models for Software Systems Design
  David Garlan; Carnegie Mellon University

back to top

Gaming

2006

• XNA Based Games-Themed Programming Assignments for CS1/CS2
  Kelvin Sung, University of Washington, U.S.
• Team Based Learning Using Flight Simulator X
  Bruce Gooch, University of Victoria, Canada
• Assessing Games Across Introductory Computing Curricula Using MUPPETS and XNA
  Andy Phelps, Jessica Bayliss, Rochester Institute of Technology, U.S.
• Enhancing CS1 and a CS Gateway Course at UC Santa Cruz with Computer Game Projects Using MUPPETS
  Jim Whitehead, University of California Santa Cruz, U.S.
• Look Ma, No Hands! Using Microsoft Flight Simulator X to Motivate CS and Beyond!
  Marc Bolas, University of Southern California, U.S.
• Developing Freshman Problem Solving and Programming Skills in the Most Demanding and engaging Game Based Development Environment
  Thomas Goulding, Daniel Webster College, U.S.

2004

• Reality and Programming Together (RAPT)
  Jessica Bayliss, Rochester Institute of Technology
• Game Production and Development for Multiple Hardware Platforms
  Bruce Gooch, Amy Gooch; Northwestern University
• Developing a Game Engine Using Incremental Development
  Ian Parberry, University of North Texas
• Alice and Panda3D: Tools for Creating 3D Content
  Randy Pausch, Jesse Schell; Carnegie Mellon University Entertainment Technology Center
• Laboratory for Computer Games Technology
  Dr. Flavio Soares Correa da Silva, University of Sao Paulo
• Advanced Interdisciplinary Game Design and Architecture Courses
  Ursula Wolz, Anita Allyn, Terry Byrne, Jikai Li, Miroslav Martinovic, Robert McMahan, Kim Pearson, Phillip Sanders; The College of New Jersey

back to top

Search

2007

• Techniques for Rendering Effective Tourist Maps
  Maneesh Agrawalal, University of California, U.S.
• Semantic Enrichment of Street Side Imagery
  Horst Bischof, Graz University of Technology, Austria
• City Capture
  Frank Dellaert, Irfan Essa, Georgia Institute of Technology, U.S.
• Enhancement of Photographs Using Virtual Earth
  Oliver Deussen, University of Konstanz, Germany
• Efficient Image Correspondence and Indexing Methods for Urban Scene and Object Recognition
  Kristen Grauman, Trevor Darrell, University of Texas at Austin, U.S.; Massachusetts Institute of Technology, U.S.
• Local Search for Hotel and Restaurants Using Econometrics Spatial Data and Image Classification
  Panagiotis Ipeirotis, Anindya Ghose, New York University, U.S.
• Integrating Online Maps with Aerial Imagery
  Craig Knoblock, University of Southern California, U.S.
• A New View on NEWS
  Hanan Samet, University of Maryland, U.S.
• Towards Reconstructing the World from Photos on the Internet
  Steven Seitz, Brian Curless, University of Washington, U.S.
• On Testing Non-Testable Information Retrieval Systems with Geographic Components on the Web
  Zhi Quan Zhou, University of Wollongong, Australia; T.H. Tse, The University of Hong Kong, China; Kai-Yuan Cai, Beijing University of Aeronautics and Astronautics, China; F.-C. Kuo, Swinburne University of Technology, Australia

2006

• VISP: Visualizing Information Search Processes
  Lada A. Adamic, Suresh K. Bhavnani, University of Michigan, U.S.
• Vinegar: Leading Indicators in Query Logs
  Eytan Adar, Brian Bershad, Steven Gribble, Daniel Weld, University of Washington, U.S.
• Entity and Relation Types in Web Search: Annotation, Indexing and Scoring Techniques
  Soumen Chakrabarti, IIT Bombay, India
• Deepening Search: From the Surface to the Deep Web
  Kevin C. Chang, University of Illinois at Urbana-Champaign, U.S.
• Discovering and Using Meta-Terms
  Bruce Croft, University of Massachusetts at Amherst, U.S.
• Incorporating Trust into Web Authority
  Brian Davison, Lehigh University, U.S.
• Statistical Machine Learning for User Modelling
  Zoubin Ghahramani, University of Cambridge, U.K.
• Combining Econometric and Text Mining Approaches for Measuring the Effect of Online Information Exchange
  Panagiotis Ipeirotis, Anindya Ghose, New York University, U.S.
• The Truth is Out There: Aggregating Answers from Multiple Web Sources
  Amélie Marian, Rutgers University, U.S.
• Predictive Exploitation of Click-Through Knowledge
  Alistair Moffat, University of Melbourne, Australia
• Social Search: Bringing the Social Component to the Web
  Gerd Stumme, University of Kassel, Germany
• Mine Query/Click Log for Collaborative Internet Search
  ChengXiang Zhai, University of Illinois at Urbana-Champaign, U.S.

back to top

Sensors

2007

• Marmite: End-User Programming for Large Sets of Real-Time Sensor Data
  Jason Hong, Carnegie Mellon University, U.S.
• Leveraging the SensorMap Infrastructure for Large-Scale Urban Monitoring
  Matt Welsh, Harvard University, U.S.
• SensorMap for the National Weather Study Project
  Hock Beng Lim, Keck Voon Ling, Nanyang Technological University, Singapore
• Real-Time Debris Flow Monitoring and Warning via SensorMap
  Pai Chou, Bing-Jean Lee, Chung-Ta King, et al, National Tsing Hua University; Feng Chia University, Taiwan
• Through the looking glass: On human mobility and equipment health
  Anish Arora, William Leal, Ohio State University, U.S.
• Semantic Reconciliation with Disparate Sensor Meta-Data for Automatic Publication
  Prashant Doshi, University of Georgia, U.S.
• Action Web: Towards Viewing a Mobile World in the First Person
  Tarek Abdelzaher, Michael Ward, University of Illinois at Urbana Champaign, U.S.
• SensorMap for the Great Barrier Reef
  Marimuthu Palaniswami, Ian Atkinson, Stuart Kininmonth, et al, University of Melbourne; James Cook University; Australian Institute of Marine Science, Australia
• Publishing and Searching Private Sensor Data Streams: Integration with the SensorMap Platform
  Kamin Whitehouse, John Stankovic, University of Virginia, U.S.
• Event Detection and Notification in the World-Wide Sensor Web
  Magdalena Balazinska, Gaetano Borriello, Dan Suciu, University of Washington, U.S.
• Mobile Air Quality Monitoring Network
  Akos Ledeczi, Xenofon Koutsoukos, Peter Volgyesi, Vanderbilt University, U.S.

2004-2005

• Sensor Networks for Human Activity Inferencing
  Gaetano Borriello, University of Washington
• Tiered: Development of Tiered Applications Across Motes and Micro-Servers
  Deborah Estrin, University of California at Los Angeles
• Sensor Networks & Web Services
  Joe Hellerstein, University of California at Berkeley
• Web Service Protocols for Self-Monitoring and Self-Healing Networked Embedded Sensor Systems
  Xenofon Koutsoukos, Vanderbilt University
• Wireless Sensor Networks for Soil Ecosystem Studies
  Katalin Szlavecz, Johns Hopkins University
• Integrating Sensor Networks into Medical Care Using Web Services
  Matt Welsh, Harvard University

back to top

Software Engineering

2004

• A Course Project for Teaching Lightweight Formal Methods
  Alex Aiken, Stanford University
• Formal Methods in Software Development Courses
  Michael Ernst, Massachusetts Institute of Technology
• Formal Models for Software Systems Design
  David Garlan, Carnegie Mellon University
• Using SeSF to Formally Define and Test Programs Course
  A. Udaya Shankar, University of Maryland

back to top

Tablet-Based Computing

2006

• Reinventing Music Analysis: The Integration of the Tablet PC into the Undergraduate Music Theory Classroom
  Jennifer Snodgrass, Appalachian State University, U.S.
• The Redesign of Distributed Learning Environments Using Tablet PC Technology
  Monson Hayes, Elliott Moore II, Georgia Institute of Technology, U.S.
• Tablet PC Use, Diffusion Patterns, and Impact on Learning in Technology and Engineering Classrooms: An Integrated Task–Technology Fit and Social Learning Perspective
  Sven G. Bilén, Dongwon Lee, John Messner, Timothy W. Simpson, Angsana A. Techatassanasoontorn, Pennsylvania State University, U.S.
• Evaluating the Impact of OneNote Extended Video Application (EVA) on Clinical Teaching and Learning
  Joe Derrick, Greg Sherman, Radford University, U.S.
• Evaluating the Impact of the Use of Tablet PCs in Computer Engineering Education
  Dr. Dar-jen Chang, Dr. Ahmed Desoky, Dr. Ibrahim Imam, Dr. Rammohan Ragade, University of Louisville, U.S.
• Deployment and Assessment of an Image Annotation and Retrieval Tool, including for Biodiversity
  Dr. Edward A. Fox, Eric M. Hallerman, Ricardo da Silva Torres, Virginia Tech, U.S.

2005

• A Pen-Based Circuit Analysis Tutor
  Thomas Stahovich, Robert Calfee, University of California at Riverside
• Ink-a-Sketch: Combining Model-Based and Sketch-Based Design of User Interfaces in the Classroom
  Simone Barbosa, Pontificia Universidade Catolica do Rio de Janeiro
• Developing Tablet-Based Tools for Teaching Concurrent Programming
  Lin Qiu, State University of New York at Oswego
• Evaluation of Tablet PC Supported Pedagogy
  Richard Anderson, University of Washington
• An Interdisciplinary Approach to Assess the Educational Value of the One-Tablet Classroom
  James Ricky Cox, James Rogers, Ted Thiede, Terry Derting, Renee Fister, Maeve McCarthy, Murray State University
• Assessing and Evaluating the Symbiosis of Tablet PCs and Collaboration-Facilitating Software
  Julia Williams, Rose-Hulman Institute of Technology
• Educational Value and Validity — Student Adaptation to Tablet PC Technology in Business and Engineering Curriculums
  James Kraushaar, David Novak, Jeff Frolik, Thomas Chittenden, The University of Vermont
• Measuring Effectiveness of Tablet PCs in Teaching and Learning using AB/C-IT
  Vincent DiStasi, Ananda Dushmantha Gunawardena, William P. Birmingham, Gary L. Welton, David J. Ayers, Grove City College
• Real-Time Collaboration: Tablet PC–Enabled Pedagogical Strategies to Enhance Nursing Education
  Phillip Olla, Phyllis Brenner, Madonna University
• Evaluation of the Tablet PC in Undergraduate Engineering Courses at Howard University
  Veronica Thomas, Mohamed Chouikha, Velma LaPoint, Howard University
• Assessing the Effectiveness of Tablet PCs in a Basic Computer Architecture Course
  Joseph Tront, Virginia Tech
• Student and Instructor Adoption: Maximizing the Impact of Tablet PCs in the Classroom
  Beth Simon, William Griswold, University of California at San Diego
• Using Tablet PCs to Support a Studio Course in Programming
  Samuel Kamin, University of Illinois at Urbana-Champaign
• Comparative Evaluation of Four Modes of Tablet PC Use in Undergraduate Education
  Eric Hamilton, Center for Research on Learning and Teaching/IITA

2004

• A Tablet-PC Based Teaching Platform for Portable Mixed-Reality Concept
  Daniel Aliaga, Dongyan Xu; Purdue University
• An Ink Enabled Curriculum for Data Structures
  Richard Anderson, University of Washington
• PACT: A Pattern-Annotated Course Tool
  John Canny, University of California at Berkeley
• A Tiered Approach to Evaluating and Exploiting the Effects of Multi-modal Communication on Expression and Learning in the Classroom
  Bill Griswold, Beth Simon; University of California at San Diego
• Toward the Dynamic Classroom: Utilizing the Tablet PC to Enhance Lectures and Team Work Projects at Pace University
  Jonathan Hill, Christelle Scharff, Dennis Anderson; Pace University
• 3D Journal for Computer-Aided Engineering Education
  Hod Lipson, Cornell University
• Development of a Targeted Tablet PC Software Development Course
  Roy Pargas, Clemson University
• Use of a Tablet PC for Peer-Review Activities in CS1 and CS2
  Manuel Perez-Quinones, Stephen Edwards; Virginia Tech
• Expanding the Computing Curriculum Beyond the Desktop Computer
  Jeff Pierce, Georgia Tech
• Tablet-Based Annotation for Grading and Peer Review in Computer Programming Classes
  Jeff Popyack, Drexel University
• Short Circuit—An Innovative Tablet PC Learning Environment
  Fred Taylor, University of Florida
• Investigating the Effective Use of Tablet PCs in Computer Engineering and Computer Science Education
  Joseph G. Tront, Virginia Tech
• A Comparison of Educational Outcomes when Teaching Electronic Commerce Using Traditional vs. Tablet PC-Enhanced Methods
  Alfred Weaver, University of Virginia

back to top

Trustworthy Computing

2005

• TrustSPBU.NET — A Set of Courses on Secure Software Engineering and Trustworthy Computing
  Vladimir Safonov; St. Petersburg University, Russia
• Enhancing Information Privacy Protection and the Fair Use of Information via Trustworthy Computing
  Beomsoo Kim; Yonsei University, South Korea
• Development of New Course: Usable Privacy and Security
  Lorrie Cranor; Carnegie Mellon University
• A Hands-On Course on Trustworthy Networking
  Guevara Noubir; Northeastern University
• Reusable Teaching Modules on Selected Advanced Software Security Topics
  Frank Piessens; Katholieke Universiteit Leuven, Belgium
• Integrated Modular Trustworthy Computing Curriculum Development
  Yan Chen; Northwestern University
• Collaborative Proposal for Course Development in Trustworthy Computing (Joint Proposal)
  Connie Justice; Indiana University Purdue University Indianapolis
  Linda Morales; Texas A&M University
• Integrating OS Reliability & Security Teaching Modules in a Computer Architecture Course
  Tao Li; University of Florida
• Improving a Trustworthy Computing Curriculum (TCC) for Undergraduate/Graduate Computer Science
  Mehmet Sahinoglu; Troy University
• i-Safety: Network Security Begins in the Classroom
  Nora Rifon; Michigan State University
• Practicing Trustworthy Computing in Advanced Computer Networks
  Aura Ganz; University of Massachusetts
• Integration of Network Survivability Concepts in an MS in Computer Networking Curriculum
  George Rouskas; North Carolina State University
• TwC: A Deep Dive into Medical data Security Using Web Services
  Alfred Weaver; University of Virginia
• The Law and Policy of Trustworthy Computing
  Paul Schwartz; University of California at Berkeley

2004

• Synergizing Security and Software Engineering
  Gail Kaiser, Angelos Keromytis; Columbia University
• Pervasive Trustworthiness Education Initiative
  Fred Schneider, Cornell University
• Integrating Trustworthy Computing Concepts in an Undergraduate Computer Science Curriculum
  Mustaque Ahamad, Wenke Lee, Jim Xu; Georgia Institute of Technology
• Trustworthy Computing Curriculum
  Jonathan Zittrain, Molly Krause; John Palfrey, Hal Roberts; Harvard University
• Introduction to Trustworthy Computing
  Fred Cate; Markus Jakobsson; Indiana University
• Trustworthy Computing: Integrating Threat Modeling and Privacy into an Undergraduate Computer Science Curriculum
  Richard Enbody, Kurt Stirewalt, Li Xiao; Michigan State University
• Interdisciplinary Trustworthy Computing Curriculum Development
  Yan Chen, Andrea Matwyshyn; Northwestern University
• A Web-Based Electronic Laboratory for Trustworthy Computing
  Andy Ju An Wang, Southern Polytechnic State University
• Trustworthy Computing Curriculum Development
  Ira Pohl, University of California at Santa Cruz
• University of Colorado: Trustworthy Computing Curriculum
  Patrick Ryan, John Bennett, Tom Lookabaugh, Douglas Sicker, Phillip Weiser; University of Colorado at Boulder
• Introduction to Trustworthy Computing
  Michael Shaw, University of Illinois at Urbana-Champaign
• A Multidisciplinary and Integrated Approach to Raise the Global Awareness of Trustworthy Computing
  Gang Qu, University of Maryland at College Park
• Introducing Trustworthy Computing to Computer Science and Computer Engineering Curriculums at UNLV
  Yoohwan Kim, University of Nevada at Las Vegas
• Development of the New Course: Introduction to Trustworthy Computing
  Edwin Sha, University of Texas at Dallas
• Introduction to Trustworthy Computing—A Hands-on Approach
  Alfred Weaver, University of Virginia
   

back to top

• External Research & Programs Home
• Funding Opportunities

• Embedded Systems Innovation Excellence 2003–2004 RFP Awards

• European Science Initiative
• Asia Pacific University Relations
• External Research & Programs India

• External Research & Programs
  One Microsoft Way
  Redmond, WA 98052, U.S.
   
  erpinq@microsoft.com