Differences

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

--- pub:about_us:msz [2013/01/10 12:57] – external edit 127.0.0.1
+++ pub:about_us:msz [2020/11/16 00:07] (current) – gjn
@@ Line 1: / Line 1: @@
 ====== Prof. Marcin Szpyrka ======
-{{:pub:about_us:people:msz-face-small.jpg?width150px |M. Szpyrka}}
+{{:pub:about_us:msz_2019.png?width150px |M. Szpyrka}}
 **Marcin Szpyrka, DSc** (<mszpyrka@agh.edu.pl>, [[http://home.agh.edu.pl/mszpyrka|www]]) holds a position of associate
 professor in AGH UST in Krakow, Poland, Department
-of Automatics. Since 1997 he has been actively involved in number of
+of Applied Computer Science. Since 1997 he has been actively involved in number of
-research projects, including Regulus, Adder, and recently INDECT and Alvis.
+research projects, including Regulus, Adder, INDECT and recently Alvis and Bimloq.
-He was coordinator of the Adder project and currently is leader of Alvis.
+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 60 publications, from the
+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 worked out
+last published in 2008).
-the idea of RTCP-nets (real time coloured Petri nets) for modelling
-real-time embedded systems.
 He is involved in several conferences and
@@ Line 29: / Line 27: @@
 ====== More GEIST ======
 -> Meet the [[start|whole team]].