Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision |
people [2014/10/26 16:08] abiernacka [Agneiszka Biernacka] | people [2021/09/23 08:51] (current) |
---|
==== Prof. Marcin Szpyrka ==== | ==== Prof. Marcin Szpyrka ==== |
| |
{{::marcin.png?120 |}} **Marcin Szpyrka, DSc, PhD** ([[mszpyrka@agh.edu.pl|mszpyrka [at] agh [dot] edu [dot] pl]], [[http://home.agh.edu.pl/mszpyrka|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. | {{::msz_2019b.png?120 |}} **Marcin Szpyrka, DSc, PhD** ([[mszpyrka@agh.edu.pl|mszpyrka [at] agh [dot] edu [dot] pl]], [[http://home.agh.edu.pl/mszpyrka|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). |
| |
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. | |
| |
==== Dr. Piotr Matyasik ==== | ==== Dr. Piotr Matyasik ==== |
| |
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. | 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 ==== |
He is involved in the Alvis project since 2012. His main contribution to the project is development and maintenance of [[software#Alvis Compiler|Alvis Compiler]] part of the Alvis Toolkit. His research is focused on optimization of state-space representation for Alvis models. | He is involved in the Alvis project since 2012. His main contribution to the project is development and maintenance of [[software#Alvis Compiler|Alvis Compiler]] part of the Alvis Toolkit. His research is focused on optimization of state-space representation for Alvis models. |
| |
| \\ |
| |
==== Jerzy Biernacki ==== | ==== Jerzy Biernacki ==== |
{{:jbiernacki.jpg?120 |}} | {{:jbiernacki.jpg?120 |}} |
**Jerzy Biernacki, MSc** ([[jbiernac@agh.edu.pl|jbiernac [at] agh [dot] edu [dot] pl]], [[http://home.agh.edu.pl/~jbiernac|www]]) PhD student at the AGH UST in Krakow, Poland, Department of Applied Computer Science. | **Jerzy Biernacki, PhD** ([[jbiernac@agh.edu.pl|jbiernac [at] agh [dot] edu [dot] pl]], [[http://home.agh.edu.pl/~jbiernac|www]], [[https://www.researchgate.net/profile/Jerzy_Biernacki|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 ==== |
| {{::zdj_urzedowe_400_300.jpg?120 |}} |
| **Łukasz Podolski, MSc** ([[podolski@agh.edu.pl|podolski [at] agh [dot] edu [dot] pl]], [[http://home.agh.edu.pl/~podolski|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. |
| |
His research focuses on formal methods and model checking. | |
| |
==== Agneiszka Biernacka ==== | |
{{:abiernac.jpg?120 |}} | |
**Agnieszka Biernacka, MSc** ([[abiernac@agh.edu.pl|abiernac [at] agh [dot] edu [dot] pl]]), PhD student at the AGH UST in Krakow, Poland, Department of Applied Computer Science. | |
| |
| |
| |
| |
===== PhD students ===== | |
| |
* Jarosław Baniewicz | |
===== MSc students ===== | |
| |
* Martyna Grzegolec | |
* Marcin Doliński | |
| |
| |
* Leszek Kotulski, PhD, DSc | * Leszek Kotulski, PhD, DSc |
* Krzysztof Balicki, PhD | * Krzysztof Balicki, PhD |
| * Agnieszka Biernacka, MSc |
| |
| |