You are here

Piotr Kosiuczenko

dr hab. Piotr Kosiuczenko
Profesor nadzwyczajny
Phone:

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"

Habilitacja | 09-12-2010 | Term Rewriting as a Semantic Basis for the Graphical Modelling of Object-Oriented System
Doktorat | 25-05-1995 | Warunki Malcewa dla algebr częściowych

Piotr Kosiuczenko - "An Abstract Machine for the Old Value Retrieval", LECTURE NOTES IN COMPUTER SCIENCE, 6120, 246-261, Berlin, 2010

Piotr Kosiuczenko - "Efektywna implementacja operatora @pre / \old", -, -, Warszawa, 2009

Piotr Kosiuczenko - "On the Effective and General Implementation of old/@pre", -, -, Warszawa, 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 - "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 - "Redesign of UML Class Diagrams: A Formal Approach", -, 8(2), 165-183, Berlin, 2009

Piotr Kosiuczenko - "Term Rewriting as a Semantic Basis for the Graphical Modelling of Object-Oriented Systems", -, Wojskowa Akademia Techniczna, Warszawa, 2009

Piotr Kosiuczenko - "On the Implementation of @pre", LECTURE NOTES IN COMPUTER SCIENCE, LNCS 5503, 246-261, Berlin, 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 - "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

Piotr Kosiuczenko - "A Formal Model for SDL Specification Based on Timed Rewriting Logic.", 7(1), 59-88, -, 2000

Piotr Kosiuczenko - "A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol. In C. Kirchner, H. Kirchner (eds.): ", -, 15, -, 1998

Piotr Kosiuczenko - "Timed Rewriting Logic with an Application to Object-Based Specification.", 28(2-3), 225-246, -, 1997

Piotr Kosiuczenko - "Logic of Computation, Computer and System Science, ", -, Springer, Berlin, 1997

Piotr Kosiuczenko - "Timed Rewriting ", -, -, 229-264, Springer, Berlin, 1997

Piotr Kosiuczenko - " On the power of Higher-Order Algebraic Specification Methods.", INFORMATION AND COMPUTATION, 124(1), 85-101, -, 1996

Piotr Kosiuczenko - "Mal´cev Type Conditions for Partial Algebras", -, 31, 467-474, Berlin, 1994

Kierownik: Andrzej Walczak
Okres realizacji:: 2009-04-01 / 2012-03-31
Źródło finansowania: UE
Kierownik: Grzegorz Bliźniuk
Okres realizacji:: 2009-04-01 / 2010-06-30
Źródło finansowania: UE