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.