REWERSE - reasoning on the web

Włodzimierz Drabent

Member of REWERSE participant

Warsaw and Linköping (March - July 2007)

Involvement in REWERSE packages


Former and current employments

Current employment:
Instytut Podstaw Informatyki Polskiej Akademii Nauk, Warsaw, Poland; Linköpings universitet, Sweden
Former employment:
Department of Computer Science, University of California, Riverside (1992, visiting assistant professor)
Instytut Informatyki, Uniwersytet Warszawski (Institute of Informatics, Warsaw University, part time assistant professor)

Current professional interests

Logic programming: semantics, proving program properties, descriptive types, diagnosing program errors, semantic analysis of programs, negation. Programming paradigms related to logic programming.
Semantics of programming languages, proving program correctness, programming metodology.

Professional web page

go to top of page