Sidebar

Main

Internal

Trace:

Differences

This shows you the differences between two versions of the page.

--- people [2018/05/08 13:48]
marcin [Prof. Marcin Szpyrka]
+++ people [2021/09/23 08:51] (current)
@@ Line 3: / Line 3: @@
 ==== Prof. Marcin Szpyrka ====
-{{::msz4.jpg?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).
+{{::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).
+\\
 ==== Dr. Piotr Matyasik ====
@@ Line 9: / Line 12: @@
 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 ====
@@ Line 18: / Line 23: @@
 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 ====
 {{: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.
-==== Jarosław Baniewicz ====
-===== MSc students =====