Application Deadline U.S. citizens: 2025-26 Fulbright U.S. Scholar Competition Deadline is Monday, September 16, 2024 at 5 PM EST. Find out more.
Home Country Ukraine Automated Induction for Algebraic Specifications with Partial Functions and Its Application to Compiler Designs Program Fulbright Visiting Scholar Program Program Country Ukraine Grant Activity Type Research Discipline Computer Science Academic Year 1993-1994 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 Ukrainian Academy of Sciences Department V.M. Glushkov Institute of Cybernetics Host Institutions Institution University of Iowa Faculty Dr. Hantao Zhang Host Department Department of Computer Science Institution University of Iowa Faculty Dr. Hantao Zhang Host Department Department of Computer Science Institution University of Iowa Faculty Dr. Hantao Zhang Host Department Department of Computer Science
Automated Induction for Algebraic Specifications with Partial Functions and Its Application to Compiler Designs Program Fulbright Visiting Scholar Program Program Country Ukraine Grant Activity Type Research Discipline Computer Science Academic Year 1993-1994 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 Ukrainian Academy of Sciences Department V.M. Glushkov Institute of Cybernetics Host Institutions Institution University of Iowa Faculty Dr. Hantao Zhang Host Department Department of Computer Science Institution University of Iowa Faculty Dr. Hantao Zhang Host Department Department of Computer Science Institution University of Iowa Faculty Dr. Hantao Zhang Host Department Department of Computer Science