Gdansk Branch of the Institute of Computer Science, Polish Academy of Sciences, and Altkom S.A.

My scientific interests include:

• Concurrency
• Logic in Computing Science
• Specification, verification and development of software
• Practical use of theorem provers, e.g, Isabelle, and Logical Frameworks in computer-aided specification, verification and development of software.
• Formal methods
• 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.

Some of my research reports and papers

Curriculum Vitae

Znowu ``KROPKI''! -- propozycja powrotu do dawnej postaci graficznej Raportow IPI PAN [in Polish].

Materialy dla studentow WSzB : wyklad , slajdy nt programowania oraz slajdy nt specyfikowania systemow reaktywnych [in Polish].

A link to a local copy of an Object Orientation FAQ from IAM Software Composition Group and another to a local copy html documents available from The Object Agency