The John Paul II Catholic University of Lublin

Chair of Computer Science

 

• Research at the Chair 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 Chair 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.