Photo by Greg Kohuth, MSU University Relations, 2007
MSU Distinguished Faculty Award, 2007
Short Biography
Curriculum Vitae ( PDF )
High assurance computing systems, including formal methods for software engineering, software development environments, object-oriented analysis and design, embedded systems development, SE for autonomic computing, visualization, parallel and distributed computing
Selected Recent Major Conference and Workshop Activities
- IEEE International Conf. on Software Engineering (ICSE2007), Minneapolis, Minnesota
- Future of Software Engineering
- Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Co-organizer.
- ACM SIGSOFT Workshop on Specification and Verification of Component-Based Systems (SAVCBS)
- MODeLS 2005 (formerly <<UML>>) Conference (PC for technical track and for educational symposium)
- Doctoral Symposium Committee and Panel
- IEEE International Requirements Engineering Conference (RE05) (PC and Steering Committees member)
- Doctoral Symposium Committee and Panel
- Workshop for Requirements Engineering Education and Training (REET)
- Workshop on Self-Managing Systems (WOSS04), co-located with FSE 2004.
- IEEE International Requirements Engineering Conference (RE04)
- IEEE International Conf. on Software Engineering (ICSE2004)
- Formal Research Demonstrations (Chair)
- Workshop on Architecting Dependable Systems (WADS04), co-located with ICSE 2004.
- International Joint Requirements Engineering Conference (RE02)
- UML 2002, 2003, 2004
- Component Based Software Engineering Workshop (CBSE5), part of ICSE2002
- IEEE International Conf. on Software Engineering (ICSE2003)
- IEEE International Requirements Engineering Conference (RE03) (PC and Steering Committee member)
- IEEE/ACM European Software Engineering Conf/Foundations of SE (ESEC/FSE03)