Implementation of Algorithms for Formal Hardware Verification

Program
Fulbright Visiting Scholar Program
Program Country
Grant Activity Type
Research
Discipline
Academic Year
Flex
No
Scholar type
Non-U.S. (Visiting) Scholar
Project Title
Implementation of Algorithms for Formal Hardware Verification

Scholar Information

Grantee
Enrico Macci
Title
Assistant Professor
Department
Department of Automation and Information Systems
Host Institutions
Faculty
Dr. Fabio Somenzi
Host Department
Department of Electrical and Computer Engineering