GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:about_us:msz

Differences

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

Link to this comparison view

pub:about_us:msz [2013/01/10 13:57]
127.0.0.1 external edit
pub:about_us:msz [2013/01/30 12:21] (current)
wta update biogramu
Line 5: Line 5:
 **Marcin Szpyrka, DSc** (<​mszpyrka@agh.edu.pl>,​ [[http://​home.agh.edu.pl/​mszpyrka|www]]) holds a position of associate **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 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 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. 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.txt · Last modified: 2013/01/30 12:21 by wta