• Research at the Departament is concentrated around broadly interpreted logical foundations of computer science. Its specific feature is a combination of the understanding approach, coming from philosophy and philosophical logic, and computational practice.
• The specific subjects of interest are:
  • the use of logic in computation,
  • logic programming,
  • methodology of programming,
  • automated reasoning,
  • system analysis,
  • computer system design,
  • computational tools for logic,
  • methods of artificial intelligence.
• Staff and doctorate students at the Departament participate in conferences in the field of computer science and logic.
• Some parts of are prepared in co-operation with Oracle Corporation within the Oracle Academic Initiative. Such a co-operation allows for the use of state of the art software for teaching system analysis and database design and development.