Tomasz Borzyszkowski

Tomasz Borzyszkowski

University of Gdansk
Institute of Informatics

Formal specification, verification and development of software systems
Practical use of theorem provers, e.g, Isabelle, in computer-aided specification, verification and development of software systems. Here you can find some of Marek Bednarczyk's from Gdansk Branch of the Institute of Computer Science, Polish Academy of Sciences and my Isabelle theories and theorems.
CoFI - The Common Framework Initiative.
Formal methods in computer science
Logical Frameworks

Some of my research reports and papers.

Teaching (in Polish)

The discussion-list FIG-L.

My CV

My e-mail address:

At work:

Institute of Informatics, University of Gdansk,
ul. Wita Stwosza 57,
80-952 Gdansk-Oliwa,
POLAND
phone: (+48) (58) 5232483,
fax: (+48) (58) 5232158

Created: 12 XII 95, Last Modified 28 III 08