David Garlan

David Garlan David csdadmin Tue, 10/14/2014 - 09:01 Garlan Professor 420 TCS Hall dg4d@andrew.cmu.edu (412) 268-5056 Software And Societal Systems Department Computer Science Department http://www.cs.cmu.edu/~garlan Programming Languages Security Formal Methods Mobile and Pervasive Computing Security and Privacy Software Engineering Faculty My field of interest is software engineering, and specifi