High-profile bugs continue to plague the software industry, leading to major problems in the reliability, safety, and security of systems. This course teaches students how to write bug-free code ...

This site is no longer maintained. Be sure to check out David Dodd's Annotated Grateful Dead Lyrics (Here are some additional sources for lyrics.) This is a collection of lyrics for songs performed by ...

I am also part-time in the Google Omega team. For Google-related matters email woodruffd (at) google (dot) com . We have a preprint: Accelerating Scientific Research with Gemini: Case Studies and ...

A research team in Carnegie Mellon University's Ray and Stephanie Lane Computational Biology Department is working to better understand the role that genetic on and off switches play in activating ...

Textbooks Lectures are intended to be self-contained. For supplementary readings, with each lecture, we will have pointers to chapters from the following books: ...

I am a PhD student in the Department of Computer Science at Carnegie Mellon University (CMU). I am fortunate to be advised by Professor Tuomas Sandholm. I am also supported by the NSF Graduate ...

Personal: Commercial pilot and certified flight instructor. I own a twin-engine Piper Seneca II, nicknamed "The Beast". As a volunteer pilot I occasionally transport organs or patients for local ...

This book, with minor revisions, is back in print from Dover Publications and can be purchased in paperback form at Amazon.com, Barnes & Noble, etc. An e-book version will be released in late February ...