REWERSE - reasoning on the web

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

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

go to top of page