Stephen Brookes

Stephen Brookes Stephen csdadmin Tue, 10/14/2014 - 09:01 Brookes Professor Emeritus sb21@andrew.cmu.edu (412) 268-8820 Computer Science Department http://www.cs.cmu.edu/~brookes Formal Methods Programming Languages Pure and Applied Logic Stephen Brookes is well known internationally for his seminal contributions to semantics for concurrent programs and logics for reasoning about program behaviour. He earned both his bachelor’s degree in Mathematics and