I am a researcher at the Gdansk Branch of the Institute of Computer Science, Polish Academy of Sciences.
My scientific interests include:
- Formal specification of software systems
- Theory of institutions
- Formal methods
- Mobility
- Applications of logic in computer science
- Logical Frameworks
I hope that some day I shall find enough time to expand the content of this page and it will contain much more information and perhaps some useful stuff as well. For the moment you can access some of my research reports and papers from it.
|
Wiesław Pawłowski Institute of Computer Science Polish Academy of Sciences ul. Abrahama 18, 81-825 Sopot Tel/Fax: +48-58-5514971 E-mail: W.Pawlowski@ipipan.gda.pl |
