AGH UST researcher awarded Fulbright scholarship

Doctor Krystian Jobczyk of the Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering has been granted the Fulbright Senior Award, which will make it possible to carry out research in the United States in the academic year 2020/2021. 

The scientist will go to the Saul Kripke Center at the City University of New York (CUNY), where for nine months he will carry out a project dealing with the so-called “reactive model checking for the systems of temporal logic in pointwise semantics”. The name of the project is “Reactive Kripke semantics and reactive automata in use – towards reactive model checking for the systems of temporal logic interpreted in pointwise semantics”. 

Each of us deals with various systems, generally understood as a collection of objects of specified spatial relationships with a given set of actions that can be performed on the objects. The systems can be hardware, software, the use interface, a coffee dispenser, or the biological system of gene regulation in cells. 

It is usually assumed (especially in relation to artificial systems, for example, those known from a computer scientist’s practice) that there is a number of conditions imposed on the operation and lifespan of systems, for example, the lack of action deadlock or a suitable sequencing. Observing the conditions is important not only for the correct operation of the systems, but also for their safety. 

In order to verify whether the specified properties have been satisfied, in the tested systems, within the framework of the so-called “model checking”, the properties are encoded in different formalised languages, such as the language of linear temporal logic, branching time logic, the Hennessy-Milner logic, or the Halpern-Shoham logic. At the same time, instead of considering the systems, we consider their abstract models, such as Kripke structures, finite-state automata, or the so-called “transition systems”. 

Meanwhile, the considered systems are usually dynamic, showing the so-called “reactiveness” (they are reactive to the environment, a human being, or an operating agent), whereas the models representing them are not. Therefore, there is a need to introduce new reactive models, more suitable for the verification of expectations related to the properties of systems. 

The subject of research conducted by Dr Krystian Jobczyk will be the construction of such models, well “fitted” to the systems of temporal logic (such as reactive Kripke structures or reactive automata), and the development of a framework of reactive model checking for these models. An additional aim of the project will be an attempt to develop tools for automatic model checking. 

In 2011, Dr Krystian Jobczyk was awarded the degree of Doctor of Humanities in the field of philosophy, and in 2017, the degree of Doctor of Technical Sciences in the field of computer science. His research interests cover such areas as logic, theoretical computer science for the needs of artificial intelligence (AI), the fundamentals of mathematics, and epistemology. 

In the years 2011-2013, at the Munich Centre for Mathematical Philosophy at the Ludwig Maximilian University of Munich, the researcher carried out a project in the field of mathematical philosophy, dealing with the philosophical and formal correction of the so-called "Putnam's semantic anti-realism". Within the framework of his second doctoral dissertation at the University of Caen Normandy in France and in collaboration with AGH UST, he conducted research into finding new paradigms in modelling the problems of temporal planning with fuzzy constraints and preferences. 

He has been connected with the AGH University of Science and Technology since 2017. At the Department of Applied Computer Science he teaches classes at second-cycle study programmes: SMADA – System Modelling and Data Analysis. 

The Fulbright programme is the largest programme of scientific and cultural exchange in the United States. For over 70 years, it has supported collaboration in the area of the development of science, culture, and human and institutional relations between the United States and over 160 countries. The Fulbright programme provides funds for the science-related visits of students, researchers and teachers to the USA, as well as supporting their promising projects. According to a vision of the Programme initiator, the American senator J. William Fulbright, it is a tool of engaging in a dialogue and building peaceful relations between nations. The Fulbright programme works both ways – American researchers and experts also have a possibility of coming to Poland and carrying out research in our country. Thanks to it, many Polish academic and educational institutions as well as non-governmental organisations enjoy an opportunity of inviting experts and lecturers from the USA to collaborate on their projects.