• 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.