U.S. Scholars

Explore opportunities for U.S. citizens to go abroad with the Fulbright Scholar Program. With more than 800 awards annually to 135+ countries, find the right Fulbright for you.

U.S. Scholars

Each year roughly 850 faculty and professionals from around the world receive Fulbright Scholar awards for advanced research and university lecturing in the United States. Individual awards are available to scholars from over 100 countries.

Non-U.S. Scholars

U.S. Institutions

U.S. Higher Education institutions are instrumental to the success of the Fulbright mission. They are key allies in advancing the goal of sharing knowledge across communities, promoting mutual understanding across nations and improving lives around the world.

U.S. Institutions

Alumni

Learn how alumni can continue to stay connected and engage with the Fulbright program.

Alumni

View information on other Fulbright Programs

View information for students

Visit the Fulbright Scholar Directory to view the opportunities pursued by more than 50,000 alumni.

Search Fulbright Scholar Directory

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

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