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 Romania Partial Order Verification Methods of Finate-State Concurrent Systems in Hardware and Software Program Fulbright Visiting Scholar Program Program Country Romania Grant Activity Type Research Discipline Computer Science Academic Year 2000-2001 Dates January 2001 - January 2004 Flex No Scholar type Non-U.S. (Visiting) Scholar Project Title Partial Order Verification Methods of Finate-State Concurrent Systems in Hardware and Software Scholar Information Grantee Ferucio Tiplea Title Associate Professor Institution Al. I. Cuza University of Iasi Department Faculty of Computer Science Host Institutions Institution Carnegie Mellon University Faculty Dr. Edmund M. Clarke Host Department Department of Computer Science
Partial Order Verification Methods of Finate-State Concurrent Systems in Hardware and Software Program Fulbright Visiting Scholar Program Program Country Romania Grant Activity Type Research Discipline Computer Science Academic Year 2000-2001 Dates January 2001 - January 2004 Flex No Scholar type Non-U.S. (Visiting) Scholar Project Title Partial Order Verification Methods of Finate-State Concurrent Systems in Hardware and Software Scholar Information Grantee Ferucio Tiplea Title Associate Professor Institution Al. I. Cuza University of Iasi Department Faculty of Computer Science Host Institutions Institution Carnegie Mellon University Faculty Dr. Edmund M. Clarke Host Department Department of Computer Science