Alvis Team

Prof. Marcin Szpyrka

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).


Dr. Piotr Matyasik

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

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

Jerzy Biernacki, MSc (jbiernac [at] agh [dot] edu [dot] pl, www, RG) received his Bachelor and Master 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 and 2014, respectively. Currently, a PhD student at the AGH UST, Department of Applied Computer Science. His research focuses on formal methods and model checking.


Łukasz Podolski

Ł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.

Former Team Members

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

Contact us

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

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