Home Country
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
Institution
Department
Department of Automation and Information Systems
Host Institutions
Institution
Faculty
Dr. Fabio Somenzi
Host Department
Department of Electrical and Computer Engineering