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 Poland Reactive Kripke Frames and Reactive Automata in Use, or Towards a Reactive Model Checking for Systems of Temporal Logic Interpreted in Pointwise Semantics Program Fulbright Visiting Scholar Program Program Country Poland Grant Activity Type Research Discipline Computer Science Specialization Mathematics and Computer Science Academic Year 2021-2022 Dates May 2022 - December 2022 Flex No Scholar type Non-U.S. (Visiting) Scholar Project Title Reactive Kripke Frames and Reactive Automata in Use, or Towards a Reactive Model Checking for Systems of Temporal Logic Interpreted in Pointwise Semantics Scholar Information Grantee Krystian Adam Jobczyk Title Adjunct Assistant Professor Institution AGH University of Science and Technology Host Institutions Institution The Graduate Center, The City University of New York Faculty Romina Padro Host Department Kripke Center
Reactive Kripke Frames and Reactive Automata in Use, or Towards a Reactive Model Checking for Systems of Temporal Logic Interpreted in Pointwise Semantics Program Fulbright Visiting Scholar Program Program Country Poland Grant Activity Type Research Discipline Computer Science Specialization Mathematics and Computer Science Academic Year 2021-2022 Dates May 2022 - December 2022 Flex No Scholar type Non-U.S. (Visiting) Scholar Project Title Reactive Kripke Frames and Reactive Automata in Use, or Towards a Reactive Model Checking for Systems of Temporal Logic Interpreted in Pointwise Semantics Scholar Information Grantee Krystian Adam Jobczyk Title Adjunct Assistant Professor Institution AGH University of Science and Technology Host Institutions Institution The Graduate Center, The City University of New York Faculty Romina Padro Host Department Kripke Center