cms

	STAFF — Piotr Kosiuczenko  Mgr., Dr. rer. nat. (Warsaw) Lecturer
	Room F28 Mathematics & Computer Science Annex School of Computing and Mathematical Sciences, University of Leicester, University Road, Leicester, LE1 7RH. T: +44 (0)116 252 2025 F: +44 (0)116 252 3915 E: piotr AT mcs.le.ac.uk

• Research Interests:
  software engineering, in particular specification, modelling and design
  graphical languages
  logic and formal methods
  real-time systems
  mobile systems
  

• I am a member of the Software Specification and Design group at Leicester.

  I have spent ten years in Munich; I have been working at the Institut für Informatik at the Ludwig-Maximilians-University.

  I have been a research and teaching assistant at the Warsaw University of Technology.

  I obtained my Magister and Dr. rer. nat. from University of Warsaw.

• Few papers

  P. Kosiuczenko. Specification of Invariability in OCL. O. Nierstrasz et al. (eds.): MoDELS'06, LNCS 4199, 2006.

  P. Kosiuczenko. Partial Order Semantics of Sequence Diagrams for Mobility. S. Leue, T. Systa (eds.): Scenarios: Models, Transformations and Tools. LNCS 3466, 2005, pp. 212-227.

  P. Kosiuczenko. Sequence Diagrams for Mobility. Krogstie J. (ed.): Advanced Conceptual Modeling Techniques, MobIMod, Tampere, Finland, October 7-11, 2002, LNCS 2784, Springer, Berlin, 12 pages, 2003.

• Research
• Publication List
• Selcted Publications

• Campus only
• CO7207 - Generative Development
• CO2006 - Software Engineering and System Development
• CO2015 - Software Engineering Project

Author: Piotr Kosiuczenko (piotr AT mcs.le.ac.uk), T: +44 (0)116 252 2025.
© University of Leicester 10.02.2005. Last modified: 19th April 2007, 16:35:23
CMS Web Maintainer. Any opinions expressed on this page are those of the author.