Related Links : Center for Systems Assurance Department of Electrical Engineering & Computer Science Formal Methods Website

Formal Methods Contacts : Dr. Shiu-Kai Chin Dr. Susan Older Dr. Nazanin Mansouri

The Formal Methods Group is focused on developing and improving hardware and software design methods through the use of mathematical logic. They are part of the Department of Electrical Engineering and Computer Science (EECS), the Center for Systems Assurance (CSA) as well as the CASE Center.

Interests range from creating theories about design (ie. embedding design languages and algebras into automated theorem-provers using higher-order logic) to practical demonstrations such as fabricating integrated circuits that have been designed using formal techniques.