pub:about_us:people:msz
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
pub:about_us:people:msz [2011/02/17 07:54] – link to the rest of GEIST wta | pub:about_us:people:msz [Unknown date] (current) – removed - external edit (Unknown date) 127.0.0.1 | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== Dr. Marcin Szpyrka ====== | ||
- | |||
- | **Marcin Szpyrka, DSc** (< | ||
- | professor in AGH UST in Krakow, Poland, Department | ||
- | of Automatics. Since 1997 he has been actively involved in number of | ||
- | research projects, including Regulus, Adder, and recently INDECT and Alvis. | ||
- | He was coordinator of the Adder project and currently is 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, | ||
- | 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 | ||
- | the idea of RTCP-nets (real time coloured Petri nets) for modelling | ||
- | real-time embedded systems. | ||
- | |||
- | 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, | ||
- | universities. | ||
- | |||
- | |||
- | ---- | ||
- | |||
- | -> Go back to: [[pub: | ||
- | |||