Marcin Szpyrka, DSc, PhD (mszpyrka [at] agh [dot] edu [dot] pl, www) is the Alvis Team leader. He holds a position of associate professor in AGH UST in Krakow, Poland, Department of Applied Computer Science. Since 1997 he has been actively involved in number of research projects, including Regulus, Adder, INDECT, Alvis, Bimloq, Prosecco, SECOR and CyberEwa. He was coordinator of the Adder project and leader of Alvis.

Marcin Szpyrka has a MSc in Mathematics and PhD and DSc (habilitation) in Computer Science. He is the author of over 100 publications, from the domains of formal methods, software engineering and knowledge engineering. His fields of interest also include theory of concurrency and functional programming. Among other things, he is author of 3 books on Petri nets (the last published in 2008).

He is involved in several conferences and workshops, including CEE-SET, CMS and IWBI. He has been lecturing computer science and mathematics courses in number of polish universities. He also took part in a number of curricula preparations, including graduate and postgraduate studies, for several universities.

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, MSc (jbiernac [at] agh [dot] edu [dot] pl, www) PhD student at the AGH UST in Krakow, Poland, Department of Applied Computer Science.

His research focuses on formal methods and model checking.

Agnieszka Biernacka, MSc (abiernac [at] agh [dot] edu [dot] pl, PhD student at the AGH UST in Krakow, Poland, Department of Applied Computer Science.

• Jarosław Baniewicz

• Martyna Grzegolec
• Marcin Doliński

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

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

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