Marek A. Bednarczyk - Curriculum Vitae


Personal:

Marek Antoni Bednarczyk, Polish, born 11 January 1955 in Gdansk, Poland. Married, two sons.
Contact: m.bednarczyk@ipipan.gda.pl
Address: IPI PAN, filia Gdansk, Abrahama 18, 81-825, Sopot, POLAND

Education:

Master of Science in Mathematics, 1979, Institute of Mathematics, Gdansk University, Poland, supervisor Prof. Andrzej W. Mostowski
Doctor of Philosophy in Computer Science, 1988, The University of Sussex, School of Mathematical and Physical Sciences, supervisor Prof. Matthew Hennessy

Employment:

Institute of Mathematics University of Gdansk 1979-1989, assistant and lecturer
Institute of Computer Science, Polish Academy of Sciences, 1989-_, assistant professor, head of the Group of Mathematical Methods of Programming and the Gdansk Branch of the Institute

Experience:

Polish Academy of Sciences, Institute of Computer Science, 1982-1983, trainee
University of Edinburgh, Dept. of Computer Science 1984-1985, and subsequently The University of Sussex, School of Mathematical and Physical Sciences, 1986-1987, postgraduate student
Gesellschaft für Mathematik und Datenverarbeitung mbH, Sankt Augustin, Germany, XI-XII 1990 and XI-XII 1992, visiting fellow
IRISA/INRIA Rennes, France, I-VII 2001, visiting professor

Expertise and Special Knowledge:

Scientific interests:
  • Concurrency
  • Logics in Computing Science
  • Specification, verification and development of software
  • Use of Logical Frameworks in computer-aided specification, verification and development of software.
  • Applications of Category Theory to Computing Science.
  • Theory and practice of object oriented programming.
  • Non-monotonic reasoning and its applications in Computer Science and Artificial Intelligence.
Scientific projects:
  • 2000-2002: Okreslenie i hierarchizacja czynników wpływajacych na dokładność obserwacji nawigacyjnych (in Polish),
  • a research project financed by the Polish State Committee for Scientific Research, grant No. 0 T00A 030 19, headed by Michal Holec.
  • 1999-2002: Deductive Systems for Specification, Verification and Development,
  • a research project financed by the Polish State Committee for Scientific Research, grant No. 8 T11C 037 16, headed by Marek A. Bednarczyk.
  • 1997-2000: FAI: Elaboration of Standard Internet Tools for Integration of Databases, Knowledge Bases and Reasoning Systems,
  • a research project financed by the European Community CRIT-2 Programme, workpackage No. 3, headed by Maciej Michalewicz.
  • 1997-2000: LoSSeD: Logics Specification and Software Development,
  • a research project financed by the European Community CRIT-2 Programme, workpackage No. 8, headed by Andrzej Tarlecki.
  • 1993-1996: Formal Methods of Software Development,
  • a research project financed by the Polish State Committee for Scientific Research, grant No. 2P30100704, headed by Andrzej Tarlecki.
  • 1991-1995: Gdansk Development Method
  • a research project financed by the Polish State Committee for Scientific Research, grant No. 2 2027 92 02 and cofinanced by the European Community (CRIT programme), headed by Stefan Sokolowski.
  • 1988-1991: MetaSoft.
  • A research project within Institute of Computer Science, P.A.S., headed by Andrzej Blikle.

Scientific co-operation:
  • 2004-2005: CATALYSIS - CATegorical/ALgebraic sYntheSIS
  • CNRS-PAS scientific co-operation joint project between IRISA (Eric Badouel) and IPI PAN Gdansk (Marek Bednarczyk).
  • 2003-2005: CATNET - CATegorical approach to NETs
  • CNR-PAS scientific co-operation joint project between University of Milan <> (Lucia Pomello) and IPI PAN Gdansk (Marek Bednarczyk).
  • 2000-2003: CATALYSIS - CATegorical/ALgebraic sYntheSIS
  • CNRS-PAS scientific co-operation joint project between IRISA (Philippe Darondeau) and IPI PAN Gdansk (Marek Bednarczyk).
  • Cooperation with professor Andrzej Tarlecki (University of Warsaw) on the following projects:
    • MEDICIS: Methodology for the Development of Computer Systems Specification.
    • COMPASS: A Comprehensive Algebraic Approach to System Specification and Development.

Programming languages:, Pascal, Java

Professional Activities:

MFCS'93 (Math. Foundations of Computer Science'93) - Program Committee
MFCS'93 (Math. Foundations of Computer Science'93) - Organizing Committee (chair)
CONCUR'97 - member of Program Committee
ICACSD'01 (2nd. Intl. Conf. on Application of Concurrency to System Design) - Program Committee
Workshop on Synthesis of Concurrent Systems, ICACSD'01 - Program Committee
ICACSD'03 (3rd. Intl. Conf. on Application of Concurrency to System Design) - Program Committee

Publications:

Current version is available on-line

Computer Science:

  • Modelling mobility with Petri hypernets
  • Marek A. Bednarczyk, Luca Bernardinello, Wiesław Pawłowski, L. Pomello. In J.L. Fiadeiro, P. D. Mosses, F. Orejas, (eds), Recent Trends in Algebraic Development Techniques, 17th WADT 2004, Barcelona, Spain, March 27-30, 2004, Revised Selected Papers. To appear in LNCS, Springer-Verlag, 2004.
  • Modular System Development with Pullbacks
  • Marek A. Bednarczyk, Luca Bernardinello, Benoit Caillaud, Wiesław Pawłowski and Lucia Pomello, Applications and Theory of Petri Nets, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings. LNCS 2679, pp 140-160, Springer-Verlag 2003.
  • Looking for Diamonds
  • Marek A. Bednarczyk, and Philippe Darondeau.
    In B. Caillaud et al. (Eds.): Synthesis and Control of Descrete Event Systems, pp. 213-221, ©2002 Kluwer Academic Publishers, Boston 2002.
  • Generalized Automata and Their Net Representations
  • Eric Badouel, Marek A. Bednarczyk, and Philippe Darondeau.
    In H. Ehrig et al. (Eds.): Unifying Petri Nets, Advances in Petri Nets, LNCS, vol. 2128, pp. 304-345, 2001, ©Springer-Verlag Berlin Heidelberg 2001.
  • On Concurrent Realizations of Reactive Systems and Their Morphisms
  • Marek A. Bednarczyk, and Andrzej M. Borzyszkowski.
    In H. Ehrig et al. (Eds.): Unifying Petri Nets, Advances in Petri Nets, LNCS, vol. 2128, pp. 346-379, 2001, ©Springer-Verlag Berlin Heidelberg 2001.
  • Finite Completeness of Categories of Petri Nets
  • Marek A. Bednarczyk, Andrzej M. Borzyszkowski and Rafal Somla
    Fundamenta Informaticae, vol. 43, no 1-4, pp. 21-48, 2000.
  • Generalized Congruences - Epimorphisms in CAT
  • Marek A. Bednarczyk, Andrzej M. Borzyszkowski and Wieslaw Pawlowski
    Theory and Applications of Categories, Vol. 5, No. 11, pp. 266-280, 1999.
  • Concurrent Realizations of Reactive Systems (Extended abstract)
  • Marek A. Bednarczyk, Andrzej M. Borzyszkowski
    In: M. Hofmann, D. Pavlovic, P. Rosolini eds., Category Theory in Computer Science, 8th Conf., Edinburgh, September 1999. Electronic Notes in Theoretical Computer Science, vol. 29, pp. 1-19, 1999. See also ICS PAS Report #881, July 1999.
  • General Morphisms of Petri Nets (Extended abstract)
  • Marek A. Bednarczyk, Andrzej M. Borzyszkowski
    In: J. Wiedermann, P. van Emde Boas, M. Nielsen (Eds.), Automata, Languages and Programming, 26th ICALP, Prague, July 1999. LNCS, vol. 1644, pp. 190-199, © Springer-Verlag, 1999. Full version available as ICS PAS Report #874, 1999.
  • Epimorphic Functors
  • Marek A. Bednarczyk, Andrzej M. Borzyszkowski and Wieslaw Pawlowski
    ICS PAS Report #864, 1998.
  • Logic of Predicates with Explicit Substitutions
  • Marek A. Bednarczyk.
    In W. Penczek and A. Szalas (Eds.), Mathematical Foundations of Computer Science, 21st Intnl. Symposium, MFCS'96, Cracow, Poland, September 1996, Proceedings. LNCS, vol. 1113, pp. 469-481, © Springer-Verlag, 1996.
  • Information systems development as mechanizable logical activity
  • Marek A. Bednarczyk. and Tomasz Borzyszkowski
    In S. Wrycza and J. Zupancic (Eds.) Proc. 5th International Conference on Information System Development - ISD'96, Gdansk, pp. 535-544, 1996.
  • A translation of Sokolowski logic to non-commutative Linear Logic
  • Marek A. Bednarczyk.
    In Stefan Sokolowski (Ed.) Partial correctness -- the single assertion approach
    ICS PAS Report #800, 124 pages, January 1996.
  • Towards program development, specification and verification with Isabelle
  • Marek A. Bednarczyk and Tomasz Borzyszkowski
    In Stefan Sokolowski (Ed.) Partial correctness -- the single assertion approach
    ICS PAS Report #800, 124 pages, January 1996.
  • Sokolowski logic: its semantics, relative soundness and relative completeness
  • Marek A. Bednarczyk.
    In Stefan Sokolowski (Ed.) Partial correctness -- the single assertion approach
    ICS PAS Report #800, 124 pages, January 1996.
  • Logic of predicates versus linear logic
  • Marek A. Bednarczyk.
    ICS PAS Report #795, 1995.
  • Hereditary History Preserving Bisimulations or What is the Power of the Future Perfect in Program Logics.
  • Marek A. Bednarczyk.
    ICS PAS Report, April 1991.
  • Cpo's do not form a cpo and yet recursion works
  • Marek A. Bednarczyk and Andrzej M. Borzyszkowski
    In S. Prehn and W. J. Toetenel, (Eds.), VDM'91 Formal Software Development Methods, 4th VDM-Europe Symposium, Noordwijkerhout, LNCS, vol. 551, pp 268-278, © Springer-Verlag, 1991.
  • Towards the semantics of the definitional language of MetaSoft
  • Marek A. Bednarczyk, Andrzej M. Borzyszkowski and Wieslaw Pawlowski
    In D. Bjorner, C.A.R. Hoare, and H. Laangmack (Eds.), VDM&Z: Formal Methods in Software Development, 3rd VDM-Europe Symposium, Kiel, LNCS, vol. 428, pp.: 477-503, © Springer-Verlag, 1990
  • Recursive Definitions Revisited
  • Marek A. Bednarczyk, Andrzej M. Borzyszkowski and Wieslaw Pawlowski
    In D. Bjorner, C.A.R. Hoare, and H. Laangmack (Eds.), VDM&Z: Formal Methods in Software Development, 3rd VDM-Europe Symposium, Kiel, LNCS, vol. 428, pp.: 452-476, © Springer-Verlag, 1990
  • Categories of Asynchronous Systems [gzip'ed PostScript file (507k)]
  • PhD Thesis, University of Sussex, report 1/88, 1988.
    Also available as ps.Z file (609k), or dvi.gz file (357k), or dvi.Z file (499k). Artificial Intelligence:
  • A Non-monotone Logic for Reasoning about Action
  • Marek A. Bednarczyk.
    Submitted, 2001.
  • Location of an accident at sea in the SAR system. Toward a formalization of the problem
  • Marek A. Bednarczyk, Jerzy Pyrchla and Andrzej Stateczny.
    Scientific Bulletin no 55, Szczecin Maritime University, to appear.
  • Fuzzy Sets to the Rescue
  • Marek A. Bednarczyk and Jerzy Pyrchla.
    Intelligent Information Systems IX. Proc. of the Workshop held in Bystra, Poland 12-16 June, 2000 (7-15)
  • Zbiory rozmyte w planowaniu poszukiwañ morskich (in Polish)
  • Marek A. Bednarczyk and Jerzy Pyrchla.
    II Sympozjum ,,Nawigacja Zintegrowana'', Szczecin, 25-26 maja 2000, str. 63-77.
  • Problem okreslenia i hierarchizacji czynnikow wplywajacych na dokladnosc obserwacji nawigacyjnych (in Polish)
  • Michal Holec, Marek A. Bednarczyk and Jerzy Pyrchla.
    XII Miedzynarodowa Konferencja Naukowo-Techniczna ,,Rola Nawigacji w Zabezpieczaniu Dzialalnosci Ludzkiej na Morzu'', Gdynia, 16-17 listopada 2000 (199-211)
  • An Application of Dynamic AI Metods in the Integration of Computer Credit Scoring Systems
  • Mieczyslaw A. Klopotek, Krzysztof Skowronski, A.Jodlowski, Maciej Michalewicz, Marek A. Bednarczyk, and Wieslaw Pawlowski .
    Materia³y IV Krajowej Konferencji Algortytmy Ewolucyjne i Optymalizacja Globalna, Ladek Zdrój, 5-8 czerwca 2000. Wyd. Politechnika Warszawska, Wydzial Elektroniki i Technik Informacyjnych, str. 293-303
    H. Larsen, J. Kasprzyk, S. Zadrozny, T. Andreasen, H. Christiansen (eds):
    Flexible Query Answering System. Advances in Soft Computing Series. Physica Verlag/Springer Verlag, Heidelberg New York, pp. 560-569, 2000.
  • Nowy standard i narzedzia do reprezentacji sieci bayesowskich (in Polish)
  • Mieczyslaw A. Klopotek, Maciej Michalewicz, Marek A. Bednarczyk, Wieslaw Pawlowski and Slawomir T. Wierzchon
    In J.Tchorzewski (Ed.) Sztuczna Inteligencja. Jej nowe oblicze. Proc. XI Ogolnopolskiego Konwersatorium AI'99, Siedlce 29-30 Sept. 1999. Wyd. Akademia Podlaska. pp.: 189-196.
  • Viewing and updating belief networks via World Wide Web
  • Mieczyslaw A. Klopotek, Maciej Michalewicz, Marek A. Bednarczyk, Wieslaw Pawlowski and Slawomir T. Wierzchon.
    Proc. 8th Intnl. Workshop on Intelligent Information Systems IIS'99 - Ustron, June 14-18, 1999, IPI PAN, ISBN-83-910948-1-2, pp. 293- 306
    Contakt:
    e-mail: m.bednarczyk@ipipan.gda.pl
    s-mail: Instytut Podstaw Informatyki, filia Gdańsk, Abrahama 18, 81-825 Sopot
    Powered by APACHE