Jonathan E Aldrich Professor, Institute for Software Research Office: 422 Tcsh Email: aldrich@cs.cmu.edu Phone: (412) 268-7278 Fax: 412-268-2338 Personal Website: http://www.cs.cmu.edu/~aldrich/ Research Areas: General programming languages Software architectures Software design engineering Theorem proving and SAT solving Type theory