||
信息来源于:http://research.microsoft.com/en-us/collaboration/focus/cs/seif.aspx
Microsoft External Research, Computer Science, and the Research in Software Engineering Group (RiSE) are pleased to announce the recipients of the Microsoft Research Software Engineering Innovation Foundation (SEIF) Awards 2010.
Some of the SEIF awardees at the New Horizons Demo Event hosted by Microsoft Research at the 32nd International Conference on Software Engineering in Cape Town on May 5, 2010, from left to right: Judith Bishop, Director of Computer Science, Microsoft Research (MSR); Jane Prey, Director of Gender, MSR; Yuriy Brun and Reid Holmes (representing David Notkin); Alessandro Orso; Nachi Nagappan, MSR; Gail Murphy; Stefano Tonetta; Wolfram Schulte, Research Area Manager, RiSE Group; Karin Breitman and son; Guido de Caso (with Uchitel); Sebastien Uchitel
We received 85 proposals for research grants in seminal software engineering areas, innovative software engineering education methods, and improvements in the software development process. After a thorough internal review process, 12 proposals were selected to receive awards for the period June 2010 to May 2011. The SEIF Award recipients are listed below.
Name | Title | Institution |
Diego Garbervetsky |
Resource Usage Contracts for .NET |
Universidad de Buenos Aires, Argentina |
Sebastian Uchitel |
Strengthening Code Contracts with Typestates |
Universidad de Buenos Aires, Argentina |
Karin Breitman |
Cloud‐Based Software Engineering: Weaving Elasticity into Early Design |
PUC do Rio de Janeiro, Brazil |
Gail Murphy |
Automatically Finding Help for Framework Usage |
University of British Columbia, Vancouver, Canada |
Sunghun Kim |
Detecting and Fixing Bugs as they are Created in Visual Studio |
The Hong Kong University of Science and Technology, China |
Pankaj Jalote |
An Integrated Approach for Software Engineering Projects using Visual Studio Platform |
IIIT-Delhi, India |
Stefano Tonetta |
Formal Methods for Embedded Systems Requirements |
Povo-Trento, Italy |
Baris Aktemur |
A Type System with Subtyping for Program Generation Using Quasiquotations |
Ozyegin University Istanbul, Turkey |
Daniel Kroening |
Testing Embedded Software with the Z3 SMT Solver |
Oxford University, United Kingdom |
Kendra Cooper |
SimSys: An Engaging Game for Software Engineering Education |
The University of Texas at Dallas, United States |
David Notkin |
Speculation and Continuous Validation for Software Development |
University of Washington, Seattle, United States |
Alessandro Orso |
BERT – BEhavioral Regression Testing |
Georgia Institute of Technology, Atlanta, United States |
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-6-9 14:36
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社