• CSE Home
• Future Students
• Current Students
• Alumni
• Faculty & Staff
• Corporate Partners
• SEARCH

Welcome

• Chairperson's Welcome
• Department Overview

People

• Faculty & Staff
• Students
• Student Organizations

Research

• Labs & Groups
• Interdisciplinary

Academics

• Degree Programs
• Course Information
• Withrow Awards

Community

• K-12 Activities
• Connections to Industry

Events

• Events Calendar
• Seminars
• Research Events
• 40th Anniversary
• Student Committee Voting

Resources

• ADAPP-ADVANCE
• Computing Facilities
• Job Opportunities

Horizon Fund

• Horizon Fund

Follow CSE

• Picture Gallery      

Zhang, Cheng, and Goldsby receive best paper award

The paper "AMOEBA-RT: Run-time Verification of Adaptive Software" by Ji Zhang (PhD ’07), Betty H. C. Cheng, and Heather Goldsby has been awarded Best Paper for the IEEE/ACM MODELS Workshop on Models Design Verification and Validation.

News

• Ramierez named Outstanding Graduate Student
• Shafiz awarded second place in 2012-2013 Fitch Beach Outstanding Graduate Research competition
• 2013 Withrow Awards
• Ross appears on NBC: Science of Innovation
• Weng receives research gift from Microsoft Research

More News

---

Events

---

Design Day
April 26, 2013

---

Finals
Apr 29 - May 3, 2013

Facilities  ♦  Help ♦   Contact CSE  ♦   College of Engineering

© 2008 Michigan State University Board of Trustees. East Lansing MI 48824
MSU is an affirmative-action, equal-opportunity employer.
W3C check