Implementation of Algorithms for Formal Hardware Verification
Program
Fulbright Visiting Scholar Program
Grant Activity Type
Research
Scholar type
Non-U.S. (Visiting) Scholar
Project Title
Implementation of Algorithms for Formal Hardware Verification
Scholar Information
Title
Assistant Professor
Department
Department of Automation and Information Systems
Host Institutions
Faculty
Dr. Fabio Somenzi
Host Department
Department of Electrical and Computer Engineering