
Teaching
- Logic Programming
- Discrete structures II (PhD course)
- Semantics of programming languages (PhD course)
- Logic Programming (PhD course)
- Formal Languages and Automata Theory (until 2013)
- Programming Theory
Research
- My papers in DBLP bibliography
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: 2020-06-16