GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:about_us:people:msz

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
pub:about_us:people:msz [2012/05/21 08:30] – meet the whole team section wtapub:about_us:people:msz [Unknown date] (current) – removed - external edit (Unknown date) 127.0.0.1
Line 1: Line 1:
-====== Prof. Marcin Szpyrka ====== 
- 
-{{:pub:about_us:people:msz-face-small.jpg?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 
-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, 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 
-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, including graduate and postgraduate studies, for several 
-universities. 
- 
- 
- 
-====== More GEIST ====== 
--> Meet the [[pub:about_us:people:start|whole team]]. 
- 
  

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki