Business and Industry

Computational logic is applied in many industrial and commercial applications like medicine, life sciences, pharmacological industry, sewage control, traffic control, data management and many other areas. Computational logic is also significant for the verification of safety-critical software and hardware, the specification and verification of embedded systems and for security issues. At the International Center for Computational Logic, we believe, this involvement with real world problems enhances our teaching and research by stimulating new ideas, programs and activities. We recognize and value these benefits of collaboration and are committed to building lasting partnerships with business and industry.

Within the International MSc Program in Computational Logic, we support student projects and placements with: