https://algo.iti.kit.edu/ 2026-05-14T05:04:44+00:00 https://algo.iti.kit.edu/ https://algo.iti.kit.edu/_media/favicon.ico text/html 2025-04-14T12:21:54+00:00 Anonymous (anonymous@undisclosed.example.com) https://algo.iti.kit.edu/members/ralf_koelmel/details Details text/html 2025-12-05T11:08:59+00:00 Anonymous (anonymous@undisclosed.example.com) https://algo.iti.kit.edu/members/ralf_koelmel/index Dipl.-Ing. (FH) Ralf Kölmel Technischer Mitarbeiter Karlsruher Institut für Technologie (KIT) Institut für Theoretische Informatik Geb.50.34 Am Fasanengarten 5 D-76131 Karlsruhe E-Mail ralf.koelmel@kit.edu, Support über iti_admin@iti.kit.edu S/MIME text/html 2018-01-31T20:08:49+00:00 Anonymous (anonymous@undisclosed.example.com) https://algo.iti.kit.edu/members/ralf_koelmel/sidebar Ralf Kölmel * Systemadministration * Lehrstuhl Algorithmik I * Lehrstuhl für Anwendungsorientierte formale Verifikation * Forschungsgruppe "Verifikation trifft Algorithmik" * "High Performance Computing in den Lebenswissenschaften"