REWERSE Participant Warsaw
Participant Name
Instytut Podstaw Informatyki Polskiej Akademii Nauk
(Institute of Computer Science, Polish Academy of Sciences)
Participant Representative
Włodzimierz
Drabent
email: d r a b e n t {at} ipipan.
waw. pl
phone: +48 22 836 28 41
fax: +48 22 837 65 64
http://www.ipipan.waw.pl/~drabent
Participant Web Page
We do not maintain a group web page as we are two persons working on different subjects.
Current Interests in REWERSE
Semantics and correctness of programs, logic programming, types
as approximation of program semantics.
Theory and application of artificial immune systems.
Other Members
Mieczysław Kłopotek