Marcin Szpyrka, DSc, PhD (mszpyrka [at] agh [dot] edu [dot] pl, www) is a full professor at AGH University of Science and Technology in Krakow, Poland (Department of Applied Computer Science). He is the author of over 130 publications, from the domains of formal methods, software engineering and knowledge engineering. His fields of interest also include theory of concurrency, systems security, data mining and functional programming. He is leader of the Alvis Project. He is a Senior Member of the IEEE Society and member of the Polish Artificial Intelligence Society (PSSI).

Piotr Matyasik, PhD (ptm [at] agh [dot] edu [dot] pl, www) holds a position of assistant professor in AGH UST in Krakow, Poland, Department of Applied Computer Science.

His interest covers formal methods, robotics, artificial intelligence and programming languages. He is the author of publications on artificial intelligence, formal methods, embedded systems and software engineering.

Michał Wypych, MSc (mwypych [at] agh [dot] edu [dot] pl, www) holds a position of a research assistant at the AGH UST in Krakow, Poland, Department of Applied Computer Science.

He received his Master's Degree in Computer Science at AGH-UST in 2012 and Bachelor's Degree in Astronomy at Jagiellonian University in 2012. His main field of research is formal methods and software verification.

He is involved in the Alvis project since 2012. His main contribution to the project is development and maintenance of Alvis Compiler part of the Alvis Toolkit. His research is focused on optimization of state-space representation for Alvis models.

Jerzy Biernacki, PhD (jbiernac [at] agh [dot] edu [dot] pl, www, RG) received his Bachelor, Master and PhD degrees in computer science from the Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Poland, in 2013, 2014 and 2020 respectively. His research focuses on formal methods and model checking.

Łukasz Podolski, MSc (podolski [at] agh [dot] edu [dot] pl, www) PhD student and graduate (MSc and BSc) of the AGH UST, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, Department of Applied Computer Science. In Alvis Team since 2015.

• Rafał Mrówka, PhD
• Leszek Kotulski, PhD, DSc
• Krzysztof Balicki, PhD
• Agnieszka Biernacka, MSc

Marcin Szpyrka, PhD, DSc, mszpyrka [at] agh [dot] edu [dot] pl

AGH University of Science and Technology
Al. Mickiewicza 30
30-059 Krakow
POLAND