KIT-Fakultät für Informatik

Wir sind nicht weg, wir sind nur in einer anderen Instanz. 👉 LinkedIN, Instagram, YouTube 👀 Mastodon und Bluesky instagram.com/kitinformatik linkedin.com/school/kitinfo… youtube.com/KITinformatik @KITInformatik" target="_blank" rel="nofollow noopener">bawü.social/@KITInformatik kitinformatik.bsky.social #KITinformatik #KITKarlsruhe

Prof. Gerhard Neumann vom IAR erhält einen @ERC_Research Grant für sein Projekt Smarti (hoch)3 zu Forschung an autonomen Robotern. Link zur Meldung: s.kit.edu/pierc #Robotics

Join our next Convergence Lecture online on 4th Dec 2024, as @_janius_ @KITinformatik explores advances and challenges in #speechtranslation research. 📍More info and registration: @6b902693-1074-40aa-9e21-d89446a2ebb5#xl1" target="_blank" rel="nofollow noopener">events.teams.microsoft.com/event/7a0dee75… (free to join, all welcome) #MT #AI #LanguageTech

Das KIT-Team "Kindergarten Timelimit" löste beim @nwerc_ alle 13 Aufgaben und landete damit auf dem 1. Platz (das beste Ergebnis für das KIT ever). Das 2. Team konnte mit Silber und einem 6. Rang glänzen. Kleiner Spoiler: 2025 wird der NWERC am @KITKarlsruhe stattfinden! 🥳

Die Begabtenstiftung Informatik lädt ein zum 2. #techtalk des Semester mit Schwarz IT am 10.12.2024. Zur besseren Planung wird um Anmeldung gebeten: forms.gle/5mHqVkLVfNn2Sw… #computervision #ki #ai

euROBIN Week will be on TV today!!! 📺🙌 Our robots 🤖 have been visited by a reporter from France 3! Here she is accompanied by a @KITKarlsruhe robot! #euROBINWeek2024

Die heutige Nacht der Wissenschaft läuft zwar schon, aber die Nacht ist noch jung und das Programm geht noch eine Weile: #programm" target="_blank" rel="nofollow noopener">ndw-ka.de/#programm Und zu gewinnen gibt es auch etwas.

Auf Deep Learning basierende Algorithmen können Tumore erkennen – Forscher des KIT unter den besten Teams beim internationalen AutoPET Wettbewerb – Publikation in Nature Machine Intelligence informatik.kit.edu/11147_14276.php

About KASTEL Security Research Labs: What does lack of privacy mean for the individual and why is it important for the software and hardware? Watch this video! @pskit4

Prof. Dr. Jan Niehues, Leiter der Forschungsgruppe „KI für Sprachtechnologien“ am Karlsruher Institut für Technologie (KIT), erläutert bei #KarlsruheDigital die Grenzverschiebung der maschinellen Sprachverarbeitung und wo KI-Technologien eingesetzt werden. karlsruhe.digital/2024/11/uebers…

KIT-Alumna Anne stellt am 28.11.24 im Rahmen der Software Campus Alumni Talks ihre Forschungsarbeit vor, die Fuzzing – eine Technik, die traditionell in der Softwareprüfung eingesetzt wird – in den Bereich der Hardwareprüfung überträgt. (link zum Meeting: softwarecampus-alumni.de/the-voltage-aw…)

Was man beim Aufräumen so findet: Bahnauskunft seit 1994 im Internet 🚂 #Bahn #Auskunft 😉

How well do #LLMs do on scientific exams? We publish the SciEx⚗️dataset. It's diverse (w/ open-ended & coding questions), bilingual (🇩🇪🇬🇧), and #multimodal (✍️+🖼️). Chat with us today 16:00-17:30 in #EMNLP2024 Poster session 4, and check out our🤗dataset huggingface.co/datasets/tuanh…

About KASTEL Security Research Labs: What are your research projects at KASTEL SRL? Watch this video!

Im Namen der Begabtenstiftung Informatik freuen wir uns, den ersten TechTalk des Semesters anzukündigen: Am 5.11.2024, 17:30 Uhr, ist die Carl ZEISS AG zu Gast und gibt Einblick in den Einsatz von KI im Unternehmen Um Anmeldung wird gebeten: forms.gle/CJvnmqNCAT6uQv…

Am 25.09. hat Dominik Schreiber den GI-Dissertationspreis überreicht bekommen. Wir haben mit ihm über seine Doktorarbeit, seine Forschung am KIT und seine Zukunftspläne gesprochen. Das ganze Interview gibt's auf unserem Youtube-Kanal: youtu.be/lv96SUlNH7Y

Herzliche Glückwünsche an alle vier Fellows auch von der @KITinformatik , wo Frank Puppe und Stefan Jähnichen in den 80ern und 90ern ebenfalls Spuren hinterlassen haben.

🚨 We have two open positions @KITinformatik @KITKarlsruhe @KASTEL_SRL for fully-funded Ph.D. positions at the intersection of AI and Security (Deadline: September 30th 2024). Come work with us 🙃 intellisec.de/jobs

Dominik Schreiber hat für seine Diss „Scalable SATSolving and its Application“ den Fahiem-Bacchus Award 🏆 erhalten. Die Arbeit behandelt parallele und verteilte Lösungsansätze für das Problem der aussagenlogischen #Erfüllbarkeit (engl. satisfiability, kurz #SAT). Congrats 🍾

@softwarecampus1 alumnus Fabian Rückert talks about his experiences as a founder and self-employed tech consultant and the challenges of combining self-employment and academic work. Link zum Meeting: softwarecampus-alumni.de/being-self-emp…