Skip to content

Search

Overview
Research
Teaching
- Courses
Personal

John E. Laird > Formalization

Contact

John E. Laird

John L. Tishman Professor of Engineering

Computer Science and Engineering

University of Michigan

laird@umich.edu

(734) 647-1761

3753 Beyster Building

Formalization

John E. Laird

Michigan Engineering

1221 Beal Ave. Ann Arbor, MI 48109-2102

+1 (734) 647-7000

Contact the College

Engineering Intranet

© 2023 The Regents of the University of Michigan | Safety Information | Acceptable Use |Privacy Policy |U-M Main

Login | Logout