Jonathan Aldrich

Jonathan Aldrich Jonathan csdadmin Tue, 10/14/2014 - 09:01 Aldrich Professor, Affiliated Faculty 422 TCS Hall aldrich@cs.cmu.edu (412) 268-7278 Software And Societal Systems Department Computer Science Department: Affiliated http://www.cs.cmu.edu/~aldrich/ Programming Languages Formal Methods Software Engineering Security Security and Privacy Faculty Juli O'Connor My research goal is to improve th