Sign in

KIT-Fakultät für Informatik

@kitinformatik.bsky.social
179 followers 34 following 207 posts

KIT-Fakultät für Informatik am Karlsruher Institut für Technologie www.informatik.kit.edu Impressum: www.informatik.kit.edu/impressum.php

PostsRepliesMedia
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 14/09/2026
Baden-Württembergs Ministerpräsident Cem Özdemir informiert sich über aktuelle Robotikforschung des KIT und trifft beim Cyber Valley Day von @cyber-valley.bsky.social auf den humanoiden Roboter ARMAR vom H²T Lab. www.kit.edu/kit/202609-k... Fotos: ©Christian Barth #Robotik #KITInformatik
Links ist der humanoide Roboter ARMAR von schräg hinten zu sehen, wie er Ministerpräsident Cem Özdemir die Hand schüttelt. Özdemir hält in der linken Hand eine Brezel. Um beide herum stehen einige lächelnde Personen.Gruppenfoto mit Ministerpräsident Cem Özdemir, dem humanoiden Roboter ARMAR und Boris Palmer, Oberbürgermeister von Tübingen.
111
Reposted by KIT-Fakultät für Informatik
Vilém Zouhar @zouhar.bsky.social · 04/09/2026
Machine translation is not solved and it will take a while for it to be done arxiv.org/abs/2609.04173
arxiv.org
Last Translation Benchmark
For scientific progress, we need benchmarks that test the limits of state-of-the-art models, and evaluation methods that inform us about failure cases. As models get stronger, standard benchmarks for ...
34612
Reposted by KIT-Fakultät für Informatik
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 04/09/2026
Zeit zu handeln: GI legt Whitepaper zur Reform des Computerstrafrechts vor gi.de/meldung/zeit... #Computerstrafrecht #Hackerparagraph #hacker #sicherheit #SichereSysteme #security @noerdman.bsky.social #noerdman @informatik.eurosky.social
042
Reposted by KIT-Fakultät für Informatik
Association for Computing Machinery @acm.org · 09/09/2026
#OTD in 1941, Dennis M. Ritchie was born. Ritchie received the 1983 #ACMTuringAward with Ken Thompson, for their development of generic operating systems theory and specifically for the implementation of the UNIX operating system. amturing.acm.org/award_winner...
043
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 11/09/2026
Happy to see Minister-President of Baden-Württemberg Cem Özdemir shake hands yesterday with Armar 7, who had just returned from a presentation at the EU parliament in Brussels. Armar's home is at H²T Lab at @kit.edu
121
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 11/09/2026
15 fortschrittliche, KI-basierte Robotersysteme demonstrierten am 2. September 2026 im Europäischen Parlament in Brüssel die Stärke der europäischen Robotikforschung. Mit dabei auch ARMAR 7 aus dem H²T Lab am @kit.edu robotics-institute-germany.de/european-rob... Photo: © DLR (CC BY-NC-ND 3.0)
Frontale Sicht auf eine Gruppe Menschen, die im Halbkreis um einen Holztisch steht. Der Tisch steht parallel zur Blickrichtung und ist gedeckt mit Tellern, einer Schüssel mit Obst, einer Pfanne, Bechern und Getränken in Tetra-Paks. Zwischen den Menschen stehen vier humanoide Roboter.
010
Reposted by KIT-Fakultät für Informatik
Gesellschaft für Informatik e.V. @informatik.eurosky.social · 31/08/2026
Safeguards in the Wild 🐯Die GI-Regionalgruppe in #Karlsruhe startet neu durch mit einem Event, bei dem Dr. Lukas Struppek von @far.ai über die Grenzen von KI-Sicherheit spricht. 15.9., ab 17:30, Cyberforum, Snacks und Getränke sind vorhanden. Infos und Anmeldung: rg-karlsruhe.gi.de/veranstaltun...
Ein brüllender Tiger mit scharfen Zähnen
021
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 27/08/2026
🚀 Am Scientific Computing Center (#SCC) des #KIT ist ein Testsystem für photonisches Rechnen in Betrieb gegangen. Die Technologie nutzt Licht statt elektrischer Signale und soll KI-Anwendungen sowie andere rechenintensive Aufgaben schneller und energieeffizienter machen. www.kit.edu/kit/pi_2026_...
Photo eines Mannes, der an einem Schrank mit vielen Computereinschüben steht.

Text im Photo:

"Turbo für den Computer
Ein Testsystem für photonisches Rechnen am KIT - neue Technik soll KI schneller und energieeffizienter machen"
000
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 27/08/2026
Entwickelung eines #XR -basierten #Assistenzsystem für Sehbehinderte am ACCESS@KIT und am Fraunhofer IOSB. KI liest Informationen aus der Umgebung bei Bedarf vor. So können Menschen ihren Beruf trotz eingeschränkter Sehkraft besser ausüben. www.informatik.kit.edu/11147_15323.... #Barrierefreiheit
Ein junger Mann mit VR-Brille zeigt mit leicht angewinkeltem Arm auf bunte Würfel, die vor ihm im Raum schweben. Im Hintergrund sitzt eine Frau an einem Bildschirm. Hinter beiden Personenist eine gewellte schwarze Textur mit weißen Punkten einmontiert.

Text im Bild:

"XR GEGEN FACHKRÄFTEMANGEL
Access@KIT und Fraunhofer IOSB entwickeln ein Assistenzsystem, das Menschen mit Sehbehinderung im Arbeitsalltag unterstützt"
000
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 27/08/2026
–noch wenige Plätze frei– Neugierig auf Informatik? 👩‍💻✨️ Im Science Camp Informatik lernen Mädchen gemeinsam verschiedene Informatikthemen kennen, entwickeln eigene Ideen und erleben, wie vielseitig Informatik wirklich ist. 📅 7.-11.9.26 👩‍💻 Mädchen ab 13 Jahren 🔗 www.informatik.kit.edu/sci 💰️ 0€ #MINT
Plakat mit grünen und hellbraunen Flächen und Text:

"Science Camps 2026"

"Science Camp Informatik for Girls"

"Informatik ist spannend für alle, egal ob Mädchen oder Junge. In fünf Tagen lernst du mit anderen Mädchen die verschiedene Bereiche der Informatik kennen und erfährst wie vielältig die Arbeit in der IT-Welt sein kann."

"7.9.-11.9.2026
Mädchen ab Klasse 8
Lehr-Lern-Labor Informatik"

kostenfrei!
000
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 09/08/2026
Mehr als 200 Absolventinnen und Absolventen sowie Promovierte standen Ende Juli im Mittelpunkt unseres Tags der Informatik 2026. Gemeinsam mit knapp 800 Gästen haben wir ihre Erfolge gefeiert und sie verabschiedet. Einige Impressionen der Veranstaltung: www.informatik.kit.edu/7054_15253.php #TDI26
Folie mit einem Gittermodell eine Gebirges vor einer ebenen Fläche. Im Hintergrund deuten gelbe Streifen eine Sonne an. Links unten steht "Tag der Informatik 2026". Rechts steht: "31. Juli 2026 Audimax"
000
Reposted by KIT-Fakultät für Informatik
Karlsruhe Institute of Technology (KIT) @kit.edu · 31/07/2026
How can we stay healthy? The current issue of #lookKIT, magazine for #research, #teaching, and #transfer of #KITKarlsruhe, focuses on the #medicine of the future. www.km.kit.edu/english/maga... (articles in German and English)
Cover of the current issue of lookKIT, titled “Medicine of the Future,” featuring a symbolic representation of a DNA double helix and a medical imaging device.
041
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 31/07/2026
Heute zum letzten Tag der Vorlesungszeit verabschieden wir unsere Absolventinnen und Absolventen sowie die Promovierten des aktuellen akademischen Jahres. Gleich beginnen wir mit dem Aufbau, damit alles um 16:00 Uhr fertig ist. #GraduationDay #KITInformatik
Folie mit einem Gittermodell eine Gebirges vor einer ebenen Fläche. Im Hintergrund deuten gelbe Streifen eine Sonne an. Links oben das KIT-Logo, links unten steht "Tag der Informatik 2026". Rechts steht:
"31. Juli 2026
Audimax
informatik.kit.edu/tdi"
100
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 29/07/2026
Beiträge im Magazin #lookKIT über die Arbeit von Prof. Tamim Asfour (Thema "Pflegerobotor") und Honorarprofessor Uwe Spetzger, Direktor der Neurochirurgischen Klinik am Städtischen Klinikum Karlsruhe (Thema "Studierende erleben Medizintechnik in der Neurochirurgie"). www.km.kit.edu/archiv-lookk...
km.kit.edu
KIT-KM- Kommunikation - Magazine und Newsletter - lookKIT - Archiv - lookKIT 2026/2: Medizin der Zukunft
000
Reposted by KIT-Fakultät für Informatik
KASTEL Security Research Labs @kastel-labs.bsky.social · 28/07/2026
Yesterday, many students attended the summer edition of "Crypto with Cookies" at the KASTEL Cryptography and Security Group. Gathered around multiple tables, participants had the opportunity to learn about our state-of-the-art research and engage directly with our researchers.
012
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 28/07/2026
Die 35. und letzte Promotionsprüfung in diesem Semester ist abgeschlossen. Wir gratulieren allen Promovierten und freuen uns, sie am Freitag bei unserem „Tag der Informatik“ gebührend zu verabschieden. www.informatik.kit.edu/tdi #KITInformatik #TagDerInformatik #TdI
Eine geschlossene Tür mit einem Schild mit der Aufschrift "Sitzung Bitte nicht stören!“
001
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 10/07/2026
Humanoide Roboter vor dem Sprung aus der Forschung in die industrielle Praxis. KI, schnelle Hardware und Investitionsbereitschaft treiben die Entwicklung voran. Tamim Asfour, Professor am KIT und Sprecher des Robotics Institute Germany (RIG) in der WirtschaftsWoche. 🔗 www.wiwo.de/unternehmen/...
Mann steht links (Professor Tamim Asfour) und hat weißen, mannshohen humanoiden Roboter ARMAR im ARM. ARMAR formt mit seinen Händen ein Herz. Auf dem Bild in Zitat: "Es ist die Ära der humanoiden Robotik, die wir gerade erleben."
011
Reposted by KIT-Fakultät für Informatik
Christian Wressnegger @chwress.bsky.social · 07/07/2026
Data poisoning is best tackled at its root, i.e., by learning a clean (backdoor-free) model despite a poisoned training data. @qzhao903.bsky.social presents a defense at ICML 2026, in which we reformulate this strategy as a coreset selection problem, giving rise to "Anti-Backdoor Coreset Selection"
Screenshot of the first page of the paper "Anti-Backdoor Coreset Selection via Cumulative Entropy," ICML 2026Schematic depiction of how the poisoned data vanishes during the training process
111
Reposted by KIT-Fakultät für Informatik
HITS - Heidelberg Institute for Theoretical Studies @hitsters.bsky.social · 30/05/2026
HITS Tag der offenen Tür | 11 Juli 2026 | 11-17 Uhr Lernen Sie unsere Forschenden persönlich kennen, entdecken Sie aktuelle Projekte und erleben Sie hautnah, wie innovative Forschung unsere Zukunft gestaltet. Mehr Infos: www.h-its.org/de/2026/05/19/hits-ta…
h-its.org
HITS Tag der offenen Tür 2026 - HITS gGmbH
Klima, Moleküle, Galaxien. Ein Institut. Viele Dimensionen. Alle zwei Jahre lädt das „Heidelberger Institut für Theoretische Studien“ (HITS) ...
053
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 06/07/2026
🏆 Forschung zur KI-Regulierung: T.-T.-Prof. Dr. iur. Frederike Zufall und Dr. iur. Gustavo Gil Gasiola wurden mit Forschern des Max-Planck-Instituts für Sicherheit und Privatsphäre mit dem CNIL/EHESS-Award 2026 ausgezeichnet. 🎉 Zum Artikel: www.informatik.kit.edu/11147_15306.... #kitinformatik
Gruppe von 5 Menschen, 3 daovn halten Pokale in den Händen Text im Bild: KIT-Forschende werden für Paper zum EU Al Act mit dem CNIL/EHESS-Preis 2026 ausgezeichnet
011
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 06/07/2026
Beim "Telematics Summer Day 2026" können sich Studierende über Hiwi-Jobs, Abschlussarbeiten, Projekt, Forschungsthemen und Promotionen am Institut für Telematik informieren. 📆 08.07.2026 ab 16:00 Uhr, Kaiserstraße 40, 76133 Karlsruhe. telematics.tm.kit.edu #Abschlussarbeiten #Promotion #Forschung
Eine Grafik zeigt einen Strand am Meer mit einer Insel im Hintergrund. Auf dem Strand. Einige schwarze Switches mit Gesichtern liegen auf Strandliegen und Badehandtüchern, andere Netzwerkkomponenten stehen auf kleinen Türmen. Im Wasser schwimmt eine Boje mit dem Aufdruck "Edge Node".
Wegweiser zeigen nach "5G Beach", "Wi-Fi Lagoon", "Cloud Cove" und "Fiber Falls".
Auf Textbannern steht:
"Telematics Summer Day 2026 Mittwoch, 08. Juli, 2026, ab 16 Uhr
Programm:
- Vortrag „Wie gelingt die Abschlussarbeit?'
- Demos und Poster zu aktuellen Projekten
- Kontakt und Ideen für Abschlussarbeiten & HiWi-Jobs
- Gegrilltes und Getränke"
000
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 25/06/2026
Die @hadw-bw.bsky.social vergab den Ökologiepreis 26 der Viktor & Sigrid Dulger Stiftung an @benjaminschaefer.bsky.social für seine Arbeit zu Stabilität und Widerstandsfähigkeit des Stromnetzes durch KI-Methoden. www.yin.kit.edu/3621.php #kitinformatik #kuenstlicheintelligenz #stromnetz #Ökologie
Urkundenübegabe an Benjamin Schäfer
011
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 23/06/2026
🏆 Das KIT gewinnt den GCPC 2026! Das Team Infinite L∞pers sichert sich Platz 1 – als schnellstes Team mit 12 von 13 gelösten Aufgaben. 💻🔥 Starke Leistung auch insgesamt: 10 KIT-Teams, 3 Medaillen und ein klarer Blick Richtung nächste Runde im November am KIT! www.informatik.kit.edu/11147_15291....
000
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 12/06/2026
Am 13.06.26 geben wir Schülerinnen und Schülern beim #Campustag Einblick ins #Studium der #Informatik, der #Wirtschaftsinformatik und zum #Lehramt Informatik durch Vorträge und Workshops. An Infoständen beantworten wir Fragen zum Studium. Programm: www.informatik.kit.edu/13730.php #KITKarlsruhe
Screenshot einer Webseite mit Text:
"Campustag
Der nächste Campustag findet am 13.06.2026 statt.
Campustag an der Fakultät für Informatik"
011
Reposted by KIT-Fakultät für Informatik
MT Group at FBK @fbk-mt.bsky.social · 11/06/2026
1️⃣ "Do What I Say: A Spoken Prompt Dataset for Instruction-Following" 👥 @maikezufle.bsky.social, @sarapapi.bsky.social, Fabian Retkowski, Szymon Mazurek, Marek Kasztelnik, Alexander Waibel, @luisabentivogli.bsky.social, @jan-niehues.bsky.social 🇪🇺 Meetween EU project 📄 arxiv.org/abs/2603.09881
arxiv.org
Do What I Say: A Spoken Prompt Dataset for Instruction-Following
Speech Large Language Models (SLLMs) have rapidly expanded, supporting a wide range of tasks. These models are typically evaluated using text prompts, which may not reflect real-world scenarios where ...
156
Reposted by KIT-Fakultät für Informatik
KASTEL Security Research Labs @kastel-labs.bsky.social · 11/06/2026
Congratulations!👍🎉 The paper “Anti-Backdoor Coreset Selection via Cumulative Entropy” by Q. Zhao and C. Wressnegger has been accepted to ICML 2026, which will take place in Seoul from July 6–11. Congratulations to the authors on this outstanding achievement!🎆
032
Reposted by KIT-Fakultät für Informatik
Karlsruhe Institute of Technology (KIT) @kit.edu · 10/06/2026
Explainable #AI for #EnergySystems: Researchers from #KITKarlsruhe have developed a method to make AI-based forecasting for #EnergySupply more transparent. www.kit.edu/kit/english/...
High-voltage power line (symbolic picture)
021
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 09/06/2026
Professor der KIT-Fakultät für Informatik und GI-Präsidiumsmitglied Prof. Wolfgang Karl überreicht Alois Bachmann den GI-Sonderpreis für die Verdeutlichung des besonderen Nutzens der GI aus Anlass des 61. Bundeswettbewerb Jugend forscht in Herzogenaurach. (Schamlos aus dem Foto-ALT-Text geklaut)
010
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 05/06/2026
Zum Glück schrumpfte die Schlange für Tageskarten rasch und so hat es doch geklappt, auf der Gulaschprogrammiernacht vorbei zu schauen. #GPN #GPN24
Ein grünes GPN24-Tagesbändchen auf einem orangenen Holztisch.Ein Display mit einem Pacman-IrrgartenEin wenig beleuchteter Veranstaltungsort verfügt über ein lebendiges, sechseckiges LED-Display mit farbenfrohen Bildern.Ein Schild, das mit dem Text "private sign — do not read" auf eine Oberfläche geklebt ist.
011
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 05/06/2026
Im ZKM #Karlsruhe steht aktuell im Eingangsbereich "unsere" Connection Machine. Die Festplattengehäuse ("Data Vault") sehen aus wie eine Bartheke. Über ein Touchpanel kann man die Lichter beeinflussen. Infos: zkm.de/de/2026/03/c... #GPN #GPN24 #KITInformatik #ConnectionMachine #ZKMKarlsruhe #ZKM
Die Connection Machine mit blinkenden Lichtern auf vier Paneelen. Rechts im Hintergrund die thekenähnlichen Festplattengehäuse in schwarzer Farbe.Die Vorderseite der Connection Machine. Ein Paneel ist leicht geöffnet, so dass man die originalen Prozessorkarten sehen kann. Links daneben die drei thekenähnlichen Festplattengehäuse in schwarzer Farbe sowie auf einem Podest eine SUN-Workstation.Ein Touchdisplay mit Icons, über die Videos und Dokumente geöffnet werden können. Im Hintergund sieht man die Connection Machine mit blinkenden Lichtern.
120
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 05/06/2026
Die Forschungsgruppe von Tenure-Track-Professor Benjamin Schäfer hat eine Methode entwickelt, um KI-gestützte Vorhersagen für die Stromversorgung transparenter zu machen und deren Einsatz vertrauenswürdig zu machen. www.informatik.kit.edu/11147_15284.... #KITInformatik #ExplainableAI #Hochspannung
Elektrische Hochspannungsleitungen vor einem blauen Himmel.
000
Reposted by KIT-Fakultät für Informatik
strufe @strufe.bsky.social · 03/06/2026
This week, our Abhi is at AsiaCCS where he'll present the paper he wrote at Inria with Mathieu and Héber, tomorrow. They show that current approaches to anonymization of trajectories fail utterly when faced by strategic adversaries. Don't miss out if you're in Bangalore, it's impressive work!
Title page of the paper by Abhishek Mishra, Mathieu Cunche, and Héber H. Arcolezi
011
Reposted by KIT-Fakultät für Informatik
KASTEL Security Research Labs @kastel-labs.bsky.social · 03/06/2026
Congratulations! Paper accepted!👍 The Paper “Heterogeneous Dynamic Logic: Provability Modulo Program Theories” by Samuel Teuber, Mattias Ulbrich, André Platzer, Bernhard Beckert has been accepted at PLDI 2026, taking place in Boulder, Colorado on June 15-19. Congratulations to the authors! 🎉
011
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 03/06/2026
Wollt ihr ohne Anmeldung spontan bei der Gulaschprogrammiernacht in der HfG vorbeischauen? Soweit verfügbar, gibt es eine begrenzte Menge Tagespässe vor Ort. Ab Beginn der #GPN24 morgen kann die Verfügbarkeit der Tagespässe unter social.gulas.ch/@ampel eingesehen werden. Mehr Infos: gulas.ch #GPN
gulas.ch
24. Gulaschprogrammiernacht – Entropia
001
Reposted by KIT-Fakultät für Informatik
Bundesweite Informatikwettbewerbe @bwinf.bsky.social · 01/06/2026
Stimmt, der lächelt zu Recht 🦫 Zum 20. Mal findet dieses Jahr der Informatik-Biber statt, vom 9. bis 20. November. Schon gewusst: zum Jubiläum gibt es Bibertests mit alten Lieblingsaufgaben aus 20 Jahren. bwinf.de/biber/2026/#... #informatikedu #informatik #schule
073
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 02/06/2026
Wirtschaftsinformatik-Stipendium 2026/2027 am KIT Der Verein „Die Wirtschaftsinformatik e.V.“ vergibt Stipendien an Bachelor- und Masterstudierende der Wirtschaftsinformatik am KIT in Höhe von 300€/Monat für ein Jahr. Bewerbungen bis zum 31.07.2026. Mehr Infos www.informatik.kit.edu/11147_15278....
Eine Foto-Montage mit einem Meeresstrand mit Palmen auf der linken Seite und einer grünen Wiese mit einem hohen Berg auf der rechten Seite. Der Text in der Grafik:
"Nicht ENTWEDER ODER, sondern SOWOHL ALS AUCH
Wirtschaftsinformatik am KIT"
000
Reposted by KIT-Fakultät für Informatik
Benjamin Schäfer @benjaminschaefer.bsky.social · 02/06/2026
AI makes energy systems more resilient. However, energy systems require explanations, i.e. explainable AI. We developed SHAPformer, an explainable forecasting tool, demonstrated on load and price data. Article: www.nature.com/articles/s41... and press release (German): www.kit.edu/kit/pi_2026_...
nature.com
Explainable time-series forecasting with sampling-free SHAP for Transformers - Nature Communications
Time-series forecasting is crucial for decision making in many domains. The authors propose SHAPformer, a method for accurate and explainable time-series forecasting, delivering explanations in less t...
011
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 28/05/2026
🎉 Big congrats to Maike Züfle from our AI4LT research group! She’s been selected for the Apple Scholars in AIML PhD Fellowship 🍎🤖 In this clip, Maike shares what she’s working on at KIT and what drives her research. 👩‍💻✨ @ai4lt.bsky.social @maikezufle.bsky.social @jan-niehues.bsky.social
032
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 28/05/2026
In einer Woche beginnt in #Karlsruhe die zweitgrößte jährliche Veranstaltung des Chaos Computer Club nach dem Chaos Communication Congress: Die Gulaschprogrammiernacht! Mit IT-Fachvorträgen, Diskussionsrunden und Workshops. Zum Programm geht's hier: cfp.gulas.ch/gpn24/schedu... #GPN24 gulas.ch
cfp.gulas.ch
https://cfp.gulas.ch/gpn24/schedule/
24. Gulaschprogrammiernacht Get different formats: curl https://cfp.gulas.ch/gpn24/schedule/\?format=table (default) curl https://cfp.gulas.ch/gpn24/schedule/\?format=list 2026-...
010
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 04/05/2026
Wir heißen Andreas Sattler als neuen Professor für Recht und Informatik willkommen. Er folgt auf Thomas Dreier und stärkt die Schnittstelle zwischen Technik und Recht an der KIT‑Fakultät Informatik. Viel Erfolg und spannende Impulse in Forschung & Lehre. #kitinformatik #rechtundinformatik #zar
Portrait von Andreas Sattler in schwarz-weiß mit dem Text:

"WILLKOMMEN
AN DER FAKULTÄT
PROF.
ANDREAS SATTLER
RECHT UND INFORMATIK"
010
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 29/04/2026
Neuer Fakultätsvorstand an der KIT-Fakultät für Informatik nimmt seine Arbeit auf. Prof. Michael Beigl wurde als Dekan sowie Prof. Jan Niehues und Prof. Kathrin Gerling als Prodekane gewählt, Prof. Gerhard Neumann bleibt weiterhin als Studiendekan. www.informatik.kit.edu/11147_15195....
Vor einem lila-farbenen Hintergrund sind die Fotos platziert von Prof. Michael Beigl, Prof. Jan Niehues, Prof. Kathrin Gerling und Prof. Gerhard Neumann.
000
Reposted by KIT-Fakultät für Informatik
Benjamin Schäfer @benjaminschaefer.bsky.social · 26/04/2026
Determining optimal heat pump usage is non-trivial. We explore how Deep Reinforcement Learning (DRL) can compete with Mode Predictive Control (MPC), interestingly a simple DQN shows promising results: link.springer.com/article/10.1...
link.springer.com
Deep Reinforcement Learning for Price-Aware Building Heating Control - KI - Künstliche Intelligenz
KI - Künstliche Intelligenz - Heating systems account for a significant share of residential energy consumption, and rising energy prices call for intelligent, cost-aware control strategies....
011
Reposted by KIT-Fakultät für Informatik
KASTEL Security Research Labs @kastel-labs.bsky.social · 23/04/2026
New Anthropic AI can actively exploit security gaps, Jörn Müller-Quade in interview with WDR 5 Link to the interview: wdrmedien-a.akamaihd.net/media/p/publ...
Jörn Müller-Quade
001
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 21/04/2026
Meet 'n' Prove is the opportunity to find out about research and teaching on formal methods: 23.04.26, 3.45 pm, bldg. 50.34, room 236 Find out more about our research and about opportunities for final theses or student jobs! Sign up: s.kit.edu/mnp or just come by #formalMethods #kitinformatik
Präsentationsfolie zum Event meet N Prove
"Meet 'n' Prove
Learn about opportunities in Formal Methods@KIT
• 6 research groups present their work
• Learn about available lectures and other offers
• Topics for theses or student jobs
• Get-Together & Time for discussions
Please indicate your attendance so we can plan ahead of time: s.kit.edu/mnp
Spontaneous attendance is nonetheless possible and welcome!

Save the Date!
23.04.2026
starting at 15:45
Room 236 (Building 50.34) and 2nd floor foyer"
000
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 21/04/2026
TechTalk with Chaos on 29.04.2026, 05:30 pm, room -101 Join KIT Alumni and engineers from Chaos (the creators of industry-standard visualization tools like V-Ray and Enscape) for a technical deep dive into the Enscape real-time rendering engine! Sign up: forms.gle/7UtaCxVvFMtW...
Slide with the logo of the "Begabtenstiftung Informatik", the company "Chaos" und "TechTalk". The text reads:
29.04.2026, 17:30 Uhr, Raum -101 (UG)

TECHTALK MIT CHAOS: "REIMAGINING ARCHITECTURE WITH REALTIME RENDERING. ENSCAPE BEHIND THE SCENES"
Referenten: Jan Almenröder, Erik Albert (Rendering Engineers), Clemens Musterle, Stephan Bergmann (Team Leads Rendering Development)
Join KIT Alumni and engineers from Chaos (the creators of industry-standard visualization tools like V-Ray and Enscape) for a technical deep dive into the Enscape real-time rendering engine!
000
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 20/04/2026
Last week the Mastodon server of @kit.edu social.kit.edu has been opened up for all KIT staff members. Signing up is through Single-Sign-On with the KIT account and described in detail here: intranet.kit.edu/english/mast... #Mastodon #MicroBlogging #wisskomm #KIT #Karlsruhe
social.kit.edu
Mastodon-Instanz des KIT
Diese Mastodon-Instanz dient als Informations- und Vernetzungsplattform für die Wissenschaftskommunikation von Mitarbeitenden, Einrichtungen und Projekten des KIT.
013
Reposted by KIT-Fakultät für Informatik
KASTEL Security Research Labs @kastel-labs.bsky.social · 20/04/2026
Congratulation! Dissertation by Markus Raiber KASTEL Security Research Labs proudly congratulates Markus Raiber on successfully completing his doctoral examination on April 16. His dissertation is titled “ Privacy-Preserving Collection and Analysis of User Data - Provably Secure and Practical”.
011
Reposted by KIT-Fakultät für Informatik
strufe @strufe.bsky.social · 17/04/2026
PET-CON 2026.1 kicked off with great discussions & talks on privacy-from Tor extensions to confidential computing & data access-at KASTEL/KIT. Looking forward to two days of exchange. Thanks to our Patri, Alex & team for organizing, and participants for the contributions, energy and insights!
Presentation of Muhammad Usama Sardar on formal analysis of attested TLS at PET-CON 2026.1 at KIT Karlsruhe/KASTEL Security Research Labs.
021
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 14/04/2026
You don't have room for a 2x2x2m Connection Machine? Build a small one around a RaspberryPi 4! More details in the YT video. Or come and see a real one at ZKM #Karlsruhe: zkm.de/en/2026/03/c... Unfortunately the small CM is not available in the museum store 🤷‍♂️ #ConnectionMachine #RetroComputing
zkm.de
Connection Machine CM-2
012
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 09/04/2026
Forschende am KIT analysieren wissenschaftliche Literatur der Materialwissenschaften – Kombination aus großen Sprachmodellen und Maschinellem Lernen zeigt Trends für künftige Forschung. Mehr dazu in der aktuellen KIT-Pressemeldung auf www.informatik.kit.edu/11147_15171....
Portrait von Professor Pascal Friederich mit Zitat zum Thema KI in den Materialwissenschaften:
„Unser Ziel ist es, Forschende bei kreativen Denkprozessen zu unterstützen, indem neue Fragestellungen und mögliche Kooperationen zwischen Disziplinen sichtbar werden"
000