I'm participating in the following Bachelor courses:

  • Mathematics 4 - Logic for computer science (practicals)
  • Deductive Databases

And Master courses:

  • Computational logic
  • Knowledge representation and reasoning
  • Ontologies and knowledge engineering
  • Web technology and methodology
  • Web technologies in teaching

In the past I also taught:

  • Introduction to artificial intelligence 2
tophome | resumé | papers | teaching | contact

If you can read this text you are (probably) using a crap browser. Do your self a favor and get a real one!