President's Professor of Computer Science Head, Computer Science Department Projects Foundations of Trustworthy Computing Specification and Verification Center Office 7019 Gates Hillman Center E-mail wing@cs.cmu.edu Phone (412) 268-3068 (office) (412) 260-8926 (cell) Fax (412) 268-5577 WWW http://www.cs.cmu.edu/~wing/ US Mail Computer Science Department Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213-3890 Secretary Diana Hyde dhyde@cs.cmu.edu (412) 268-1156 / \ /- | \ O / 0 0 / / 0 |/ | |____ \/ / |// _ |\ /| \- \/ / | | > ----/-| | __> 0 \| |/ | | | | | _| _| pirouette arabesque side snap jump front bowing kick kick o o o o o o> o .|. \|. \|/ // X \ | <| <|> /\ >\ /< >\ /< >\ /< >\ /< Reason #173 to fear technology: Mr. Asciihead learns the Macarena.