pub:about_us:msz
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
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 ====== | ====== Prof. Marcin Szpyrka ====== | ||
- | {{: | + | {{: |
**Marcin Szpyrka, DSc** (< | **Marcin Szpyrka, DSc** (< | ||
professor in AGH UST in Krakow, Poland, Department | 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, | + | research projects, including Regulus, Adder, INDECT and recently |
- | 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 | Marcin Szpyrka has a MSc in Mathematics and PhD and DSc (habilitation) in | ||
- | Computer Science. He is the author of over 60 publications, | + | Computer Science. He is the author of over 100 publications, |
domains of formal methods, software engineering and knowledge engineering. | domains of formal methods, software engineering and knowledge engineering. | ||
His fields of interest also include theory of concurrency and functional | 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 | 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 | He is involved in several conferences and | ||
Line 29: | Line 27: | ||
====== More GEIST ====== | ====== More GEIST ====== | ||
-> Meet the [[start|whole team]]. | -> Meet the [[start|whole team]]. | ||
- |
pub/about_us/msz.1357822663.txt.gz · Last modified: 2013/01/30 11:21 (external edit)