Teaching
- Formal Languages and Automata Theory
- Semantics of programming languages (PhD course)
- Logic Programming (PhD course)
- Programming Theory
Research
A best paper award at RR 2007.Contact information
(Spelling comment: A precise spelling of my name is Włodzimierz / Włodek, using a Polish letter "ł", which is
ł
in HTML.
The pronunciation of "w" is like that of English "v",
and of "ł" like English "w".)
Page responsible: Wlodek Drabent
Last updated: 2012-10-31
