Using Formal Methods for Security Issues
Program
Fulbright Visiting Scholar Program
Grant Activity Type
Research
Specialization
Computer & Information Systems Security
Dates
-
Scholar type
Non-U.S. (Visiting) Scholar
Project Title
Using Formal Methods for Security Issues
Scholar Information
Title
Assistant Professor
Host Institutions
Host Department
Computer Science Department