Teaching

Teaching Assistance:

During PhD:

Object Oriented Programming, Software Design, Capita Selecta Computer Science: Secure Software, Computer Architecture and Software Systems, Principles of Programming

During MSc:

Deduction Systems, Foundations of Constraint Programming, Foundations of Logic Programming, Neural Symbolic Integration, Logic Programming Engineering

During BSc:

Operating Systems Lab, Artificial Intelligence, Discrete Structures, Theory of Languages and Automata, Fundamentals of Computer and Programming