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
Automated Induction for Algebraic Specifications with Partial Functions and Its Application to Compiler Designs
Scholar Information
Grantee
Dmitri Naidich
Title
Science Researcher
Institution
Department
V.M. Glushkov Institute of Cybernetics
Host Institutions
Institution
Faculty
Dr. Hantao Zhang
Host Department
Department of Computer Science
Institution
Faculty
Dr. Hantao Zhang
Host Department
Department of Computer Science
Institution
Faculty
Dr. Hantao Zhang
Host Department
Department of Computer Science