Martin Rinard

Research Overview



My research focuses on software systems and related topics. The broad goal is to obtain better software - making software more robust, resilient, and secure, improving the performance, verifying that the software satisfies important correctness, acceptability, reliability, or accuracy properties, or making systems (both software and hardware) easier to specify, build, maintain, or improve. Much of my research involves automating tasks traditionally performed by programmers or software engineers. In addition to theoretical research, I often build (sometimes quite complex) systems to better understand and develop the key concepts. Within this broad range of interests I have performed a number of groundbreaking research projects: