About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
Partnerships with Business and Industry
Advice at the Research Transfer Office of the university
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 have been able to initiate student projects and placements with:
Last update: Tue, 24 Oct 2006 23:46:21