Sidebar

Main

Internal

Trace:

Differences

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

--- people [2018/05/09 21:10]
jbiernacki [Jerzy Biernacki]
+++ 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).
 \\
@@ Line 27: / Line 27: @@
 ==== 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]], [[https://www.researchgate.net/profile/Jerzy_Biernacki|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.
+**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.
 \\