I am a professor of computer science at the Massachusetts Institute of Technology (MIT). My research and teaching are focused on how to make better software. Software has now become an essential part of many things we do, from interacting with the bank, to electronic commerce, and it is critical that the software behave properly.