Jesteś tutaj
Piotr Kosiuczenko

Short scienfic biography
Habilitacja | 09-12-2010 | Term Rewring as a Semanc Basis for the Graphical Modelling of
Object-Oriented System
PhD | 25-05-1995 | Malcev' Type Condions for Paral Algebras
Piotr Kosiuczenko studied mathemacs at the the University of Warsaw. Aerwards he joined
the Univeristy of Technology in Warsaw. In 1995, obtained PhD the University of Warsaw. Later,
he joined the Instute of Computer Science at the University of Munich. In Munich, Dr.
Kosiuczenko was working also as a research collaborator at the FAST soware company. Since
October 2003, he worked as a lecturer at the Department of Computer Science, University of
Leicester, UK. In 2008, he joined the Instute of Informaon Systems at WAT in Warsaw, where
he is an associate professor. His research interests include soware engineering, graphical
modelling languages, contractual specificaon, formal methods and foundaons of objectoriented
programming.
Co-Chair of
KKIO 2015 - 17th PTI Soware Engineering Conference
hp://kkio.p.org.pl/
He was also programme Commiee Member of:
- IASSE - Internaonal Conference on Intelligent & Adapve Systems, and Soware Engineering
- MOMPES - Workshop on Model-based Methodologies for Pervasive and Embedded Soware
Projects carried out outside WAT:
- 2013 SYNAT - Strategic scienfic research and experimental development program: Interdisciplinary System for Interacve Scienfic and Scienfic-Technical Informaon (funded by the Naonal Centre for Research and Development - NCBiR)
- 2004 - 2007 Leg2Net - Industry-Academia Partnership Scheme (funded by Marie Curie Acon -EU)
- 2002 - 2005 AGILE - Architectures for Mobility (funded by IST-EU)
- 2000 - 2002 CARUSO - Customer Care and Relaonship Support Office (funded by IST-EU)
- 1997 - 1999 FORSOFT - Distributed Systems and Open Networks (funded by the Bavarian Ministry of Sciences)
- 1996 -1998 ATMTS - Algebraic Tools for Modelling of Telecommunicaon Systems (funded by the Brish Council and DAAD)
- 1995 - 1997 EPKfix - Development of Electronic Product Catalogues (funded by the German Research Society - DFG)
Publications:
1. P. Kosiuczenko, M. Śmiałek (Eds.): From Requirements to Soware, Research and Pracce,
Polish Informaon Processing Society, Warsaw, 2015, 176 p.
2. P. Kosiuczenko, M. Śmiałek, J. Swacha (Eds.): Od procesów do oprogramowania: badania i
praktyka, Polish Informaon Processing Society, Warsaw, 2015, 154 p.
Rest fo publications below in tab: "Publications".
Co-Editor of journal: "Computer Science and Mathematical Modelling"
Piotr Kosiuczenko - "The Impact of Class Model Redesign on State Machines. In Zhenjiang Hu, Juan de Lara (Eds.): Theory and Practice of Model Transformations ", -, 5th International Conference ICMT 2012, Berlin, 2012
Piotr Kosiuczenko - "Zastosowanie przepisywania terminów do symulacji", -, XIX Warsztaty Naukowe PTSK "Symulacja w Badaniach i Rozwoju", -, 2012
Piotr Kosiuczenko - "The Impact of Class Model Transformations on State Machines, accepted for publication in proceedings of the International Conference on Model Transformation", -, 5th International Conference ICMT 2012, -, 2012
Piotr Kosiuczenko - "The Impact of Class Model Redesign on State Machines", -, Theory and Practice of Model Transformations, 264-279, Springer International Publishing AG, Berlin, 2012
Piotr Kosiuczenko - "Wystarczająco trwałe struktury danych ", -, Seminarium Instututowe IPI PAN, Warszawa, 2011
Piotr Kosiuczenko - "Metody inżynierii oprogramowania w konstrukcji systemu wspierającego diagnostykę i leczenie pacjenta", -, Seminarium Instytutu Matematyki UW, Warszawa, 2011
Piotr Kosiuczenko - "An Abstract Machine for the Old Value Retrieval", LECTURE NOTES IN COMPUTER SCIENCE, 6120, 246-261, Berlin, 2010
Piotr Kosiuczenko - "Analiza przydatności języka UML do modelowania procesów wspomagania decyzji medycznych", -, Raport końcowy projektu POIG.01.03.01-00-145/08 Modelowanie repozytorium i analiza efektywności informacyjnej wytycznych i ścieżek klinicznych w służbie zdrowia, 193-200, Wojskowa Akademia Techniczna, Warszawa, 2010
Piotr Kosiuczenko - "Term Rewriting as a Semantic Basis for the Graphical Modelling of Object-Oriented Systems", -, Wojskowa Akademia Techniczna, Warszawa, 2009
Piotr Kosiuczenko - "Przydatność języka Gello i standardu RIM do obiektowego modelowania systemów medycznych", BIULETYN INSTYTUTU SYSTEMÓW INFORMATYCZNYCH, 4/2009, 29-33, Warszawa, 2009
Piotr Kosiuczenko - "Efektywna implementacja operatora @pre / \old", -, -, Warszawa, 2009
Piotr Kosiuczenko - "On the Effective and General Implementation of old/@pre", -, -, Warszawa, 2009
Piotr Kosiuczenko - "Redesign of UML Class Diagrams: A Formal Approach", -, 8(2), 165-183, Berlin, 2009
Piotr Kosiuczenko - "O implementacji operatora @pre", -, Seminarium PJWSTK, -, 2009
Piotr Kosiuczenko - "O efektywnej i ogólnej implementacji operatora Old występującego w językach kontraktowej specyfikacji", -, Seminarium Instytutu Systemów Informatycznych, -, 2009
Piotr Kosiuczenko - "Analiza przydatności języka UML do modelowania procesów wspomagania decyzji medycznych", -, Modelowanie i zastosowanie Komputerowych Systemów Medycznych, 21-29, VIZJA PRESS and IT Sp. z o.o., Warszawa, 2009
Piotr Kosiuczenko - "On the Implementation of @pre", LECTURE NOTES IN COMPUTER SCIENCE, LNCS 5503, 246-261, Berlin, 2009
Piotr Kosiuczenko - "Logika i weryfikacja", -, Seminarium Instytutu Informatyki UW, -, 2008
Piotr Kosiuczenko - "Towards an Integration of Message Sequence Charts and Timed Maude.", 15(1), 23-43, -, 2001
Piotr Kosiuczenko - "Formalizing and Executing Message Sequence Charts via Timed Rewriting.", -, 25, -, 2000
- ‹ poprzednia
- 2 z 3
- następna ›