Jonathan Aldrich Director, Software Engineering Ph.D. Program; Professor Institute for Software Research 4216 Wean Hall Email: aldrich@cs.cmu.edu Phone: (412) 268-7278 Fax: 412-268-2338 Personal Website: http://www.cs.cmu.edu/~aldrich/ Research Interests: Compilers, Formal Methods/Verification, Parallel Computing, Programming Languages, Software Engineering
