Curriculum Vitae

Professional Academic Experience
Université de Caen Basse-Normandie ,
visited researcher
(Nov. - Dec. 2008)
  • The research includes situation awareness (SA) concept in the context of multi-robot systems.
  • The report discussing SA in the context of probabilistic robotics. A brief distributed probabilistic robotics literature survey is also included.
   
AGH UST, Dep. Of Applied Computer Science
assist. prof. with hab., dep. head of Applied Computer Science Department
(2004 - )
  • From December 2016 I am deputy head of Applied Computer Science Department .
  • I received habilitation from The Board of the Faculty of Electrical Engineering, Automatics, Computer Science and Bioengineering, AGH, April 2016.
  • In the academic years 2004 - 2010 I lecture in Discrete Mathematic, Algorithms and Data Structures, and Software Engineering.
  • I cooperate with dr hab. inż. Jarosław Wąs (principal investigator) within the MNiSW project N N516 228735
  • I was involved in research project N516 024 32/2878 founded by MNiSW and led by Prof. Dr hab. Inż. Antoni Ligęza.
  • I was involved in a KBN research project 4 T11C 035 24 (Adder), led by Prof. Dr hab. Inż. Tomasz Szmuc.
  • My research interest included Petri Nets, process algebras (CCS, VP-CCS), UML, RTUML, xtUML, Real-Time Java, RTOS, Knowledge Modeling, Rules Representations, Intelligent Control Systems and its applications in robotics, Collective Intelligence, Multi-Agent Architectures.
   
Radom Academy of Economics
assistant professor
(2007 - 2013)
  • In the academic years 2007/2008 I lecture and lead classes on Software Engineering, C++ programming, Java programming and Algorithms and Data Structures
Professional Software Development Experience
Sabre Holdings
software engineer
(2004 – 2007)
  • As a software engineer working in the innovative DCA Cache project (high performed, distributed caching system) I was responsible for design, implementation and evaluation of data writing mechanisms (Java).
  • My responsibilities also included administration of data base servers MySQL and MySQL Cluster (MySQL Certificate) .
  • I designed and implemented a DCA/DCA Cache Queues (Java). Module of ASv2 – (Availability Service version 2) responsible for buffering and processing data coming from airlines’ internal data systems.
   
Deltavista
software engineer
(2002 – 2004)
  • As a Test Manager I was responsible for team product quality i.e. managing and scheduling tests, code-reviews and test related documentation maintenance.
  • I wrote a web based GUI for SBC-AP (Shopping Bonus Card Application System). Application is running in Jelmoli AG.
  • I designed and implemented a Data Workflow Configurator. Application is running in Credit Suisse
   
Parasoft
software engineer
(2001 – 2002)
  • I was worked on CodeWizard. My responsibilities included: designing and developing new features e.g. cross-rules, adding XML support to CW (Center Point XML library, XML configuration file) and managing day to day operations.
   
Bot.NET
software architect
(2000 – 2001) (see recommendation letter)
  • I wrote a white paper about applying formal ontology to a monitoring subsystem built with the help of the Bot.Net platform.
  • I designed and implemented core functionality of the monitoring subsystem. (.NET, C#, Win Forms, Web Services, ADO).
  • I designed and partially implemented electronic payment mechanisms on the Bot.Net Agents platform. (.NET, C#, ClearCase, ClearQuest).
  • I carried out a business and technical analysis of the SET payment standard, MS Wallet and MS Passport.
   
Flying Objects
programmer
(1998 – 2000)
  • I designed and implemented (in C++, Java, CORBA), The “Corba GUI Service”. This is a hardware independent remote object platform providing graphical user interface.
  • I designed and extended GUI and a data base interface for “Heraklit”.
Education
AGH UST
(1999 - 2004)
  • I received Doctor (PhD) degree (cum laude) from The Board of the Faculty of Electrical Engineering, Automatics, Computer Science and Electronics of AGH in April 2004. (Thesis entitled “Constructing and Analyzing Drivers’ Software with Formal Methods Support”, supervisor Prof. Dr hab. Inż. Tomasz Szmuc).
  • Primary research area: formal methods, systems modeling, temporal logic
   
The Jagiellonian University
(1994 - 1999)
  • I MSc degree (cum laude) in computer science 1999. (Master thesis entitled “Music Grammars – Syntactic Pattern Recognition System for Music Data”, supervisor Prof. Mariusz Flasiński).
  • During my MSc studies I obtained the high average of grades (4.73). The scale is from 2 (the lowest grade) to 5 (the highest grade).
  • Primary research area: pattern recogniton, artificial intelligence
Scientific activities
Papers:
   
Prizes, Awards, Recognitions:
   
Memberships:
   
Service as a reviewer, PC member, editor (over 50 reviews done)
   
Activities:
   
Graduate students:
   
Languages:
   
Hobbies:
  • Photography (see the gallery),
  • hiking (GOT - small golden), biking,
  • classical guitar (studies in the primary nad the secondary music school under supervision of Tadeusz Pokorny and Włodzimierz Lerner)
   
Erdős Number:     4    (via W. Koczkodaj, W. Holsztyński, S. Fajtlowicz) 8-)