https://act.iti.kit.edu/ 2026-05-17T00:57:36+00:00 https://act.iti.kit.edu/ https://act.iti.kit.edu/_media/wiki/dokuwiki.svg text/html 2026-05-05T12:01:50+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/resources/published/thesis?rev=1777982510&do=diff Published Master/Bachelor's Theses Here you can find Theses supervised by the members of our group text/html 2026-05-05T11:59:49+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/studentinfo/start?rev=1777982389&do=diff Info for Students For any questions not answered in the following, either reach us by E-Mail or visit us in building 50.34 on the third floor. Teaching You can find an overview of current and past lectures under Teaching. Master/Bachelor's Thesis Are you interested in doing a Master or Bachelor's thesis with us? Please reach out to use via E-Mail with your general interests we will find a fitting topic. text/html 2026-05-05T11:55:10+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/navigationmenu?rev=1777982110&do=diff * People * Marvin Künnemann * Jennifer Mustapic * Sebastian Angrick * Geri Gokaj * Mirza Redzic * Julian Stieß * Alumni * Teaching * Summer Semester 26 * Lecture: Fine-Grained Complexity Theory & Algorithms * Seminar: Fine-grained Complexity Theory & Algorithms * Theory of Satisfiability Algorithms * Seminar: Current Trends in TCS * Winter Semester 25/26 * Algorithmen II * Fortgeschrittenes Algorithmisches Programmieren * Fine-Grain… text/html 2026-04-29T08:38:13+00:00 i67admin (i67admin@undisclosed.example.com) https://act.iti.kit.edu/people/start?rev=1777451893&do=diff Group Members Chair Marvin Künnemann Head of the Algorithms & Complexity Group Karlsruhe Institute of Technology (KIT) Institute of Theoretical Informatics email <marvin.kuennemann@kit.edu> text/html 2026-04-29T08:37:20+00:00 i67admin (i67admin@undisclosed.example.com) https://act.iti.kit.edu/people/jmustapic?rev=1777451840&do=diff Jennifer Mustapic Office Management Karlsruhe Institute of Technology (KIT) Institute of Theoretical Informatics personal email <jmustapic@mail.informatik.kit.edu> office room 321, Computer Science building 50.34 office hours text/html 2026-04-20T23:28:21+00:00 gokaj (gokaj@undisclosed.example.com) https://act.iti.kit.edu/teaching/26sose/cttcs?rev=1776727701&do=diff Current Trends in Theoretical Computer Science Seminar: Knapsack, Subset sum and Partition This seminar is aimed at students that are interested in the current advances in the landscape of theoretical computer science and insights into new research. The main part of this seminar will consist of reading and discussing recent papers with interesting and new results, where every participant will once lead the discussion on the given topic. text/html 2026-04-18T21:00:24+00:00 admin (admin@undisclosed.example.com) https://act.iti.kit.edu/publist/all_byyear?rev=1776546024&do=diff text/html 2026-04-18T21:00:23+00:00 admin (admin@undisclosed.example.com) https://act.iti.kit.edu/publist/52_735_marvinknnemann_byyear?rev=1776546023&do=diff text/html 2026-04-18T21:00:23+00:00 admin (admin@undisclosed.example.com) https://act.iti.kit.edu/publist/336_3348_mirzaredzic_byyear?rev=1776546023&do=diff text/html 2026-04-17T11:42:06+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/?image=teaching%3A25wise%3Aloesung.pdf&ns=teaching%3A25wise&rev=1776426126&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="loesung.pdf" loading="lazy" width="500" height="500" /> text/html 2026-04-15T13:54:38+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/teaching/26sose/theoryofsat?rev=1776261278&do=diff Theory of Satisfiability Algorithms General Lecturer: Marvin Künnemann Lecture Dates (21.04. to 28.07.): * Tuesday, 14:00 - 15:30, InformatiKOM II -- 50.28 Seminarraum 1 Course Contents The Satisfiability (SAT) problem for Boolean formulas is fundamental for computer science, due to a variety of applications (cf. the practical success of SAT solvers) as well as its central role for the theory of computation. This course focuses on theoretical aspects of the problem, which includes topics… text/html 2026-04-12T13:06:22+00:00 gokaj (gokaj@undisclosed.example.com) https://act.iti.kit.edu/?image=people%3Apres_esa.pdf&ns=people&rev=1775999182&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="pres_esa.pdf" loading="lazy" width="500" height="500" /> text/html 2026-03-31T15:42:33+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/?image=teaching%3A25wise%3Aklausur.pdf&ns=teaching%3A25wise&rev=1774971753&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="klausur.pdf" loading="lazy" width="500" height="500" /> text/html 2026-03-31T15:41:38+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/?image=teaching%3A25wise%3Aresults.pdf&ns=teaching%3A25wise&rev=1774971698&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="results.pdf" loading="lazy" width="500" height="500" /> text/html 2025-10-31T14:38:05+00:00 angrick (angrick@undisclosed.example.com) https://act.iti.kit.edu/?image=teaching%3A25wise%3Aintroduction-print.pdf&ns=teaching%3A25wise&rev=1761921485&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="introduction-print.pdf" loading="lazy" width="500" height="500" /> text/html 2025-10-23T08:41:23+00:00 kuennemann (kuennemann@undisclosed.example.com) https://act.iti.kit.edu/?image=people%3Amk.jpg&ns=people&rev=1761208883&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/_media/people/mk.jpg?w=500&amp;h=500&amp;tok=45e295" alt="mk.jpg" loading="lazy" width="500" height="500" /> text/html 2025-09-09T16:16:40+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/?image=teaching%3A24wise%3Atgi_klausur_2_2425.pdf&ns=teaching%3A24wise&rev=1757434600&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="tgi_klausur_2_2425.pdf" loading="lazy" width="500" height="500" /> text/html 2025-09-09T16:16:40+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/?image=teaching%3A24wise%3Atgi_loesung_2_2425.pdf&ns=teaching%3A24wise&rev=1757434600&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="tgi_loesung_2_2425.pdf" loading="lazy" width="500" height="500" /> text/html 2025-09-09T15:51:05+00:00 stiess (stiess@undisclosed.example.com) https://act.iti.kit.edu/?image=teaching%3A24wise%3Anachklausur-ergebnis.pdf&ns=teaching%3A24wise&rev=1757433065&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="nachklausur-ergebnis.pdf" loading="lazy" width="500" height="500" /> text/html 2025-07-07T17:15:39+00:00 gokaj (gokaj@undisclosed.example.com) https://act.iti.kit.edu/?image=people%3Aesa25.pdf&ns=people&rev=1751908539&tab_details=history&media_do=diff&do=media <img src="https://act.iti.kit.edu/lib/images/fileicons/svg/pdf.svg" alt="esa25.pdf" loading="lazy" width="500" height="500" />