 Software engineering is a diverse area, and the projects and faculty in our department reflect that.  In general, we are interested in ensuring that complex software systems exhibit specific properties. Recently, the three properties that we have focused on are: <a href=http://www.cs.washington.edu/research/projects/safety/www/index.html> software safety</a> (<A HREF=" http://www.cs.washington.edu/people/faculty/leveson.html"> Nancy Leveson</A>), which concerns how to guarantee that systems with embedded software cause no harm to human life, the environment, or property; ease of evolution (<a href=http://www.cs.washington.edu/homes/notkin>David Notkin</a>), which concerns reducing the costs and complexity of changing software systems over time; and real-time attributes (<a href=http://www.cs.washington.edu/people/faculty/shaw.html>Alan Shaw</a>), which concerns understanding and guaranteeing that certain timing constraints are satisfied. <p>
