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"

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

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!

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...

Mastodon-Instanz des KIT Diese Mastodon-Instanz dient als Informations- und Vernetzungsplattform für die Wissenschaftskommunikation von Mitarbeitenden, Einrichtungen und Projekten des KIT.

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

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”.

Presentation of Muhammad Usama Sardar on formal analysis of attested TLS at PET-CON 2026.1 at KIT Karlsruhe/KASTEL Security Research Labs.

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!

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

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"

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 Andre Biedenkapp

KI, die auch in unbekannten Situationen klug handelt?
Daran arbeitet Dr. André Biedenkapp am KIT. Seine Forschung zu robustem Reinforcement Learning wird mit einer DFG‑Emmy‑Noether‑Förderung (1,2 Mio. €) unterstützt. 🤖✨
#KITInformatik #AI #KI #Forschung #EmmyNoether

Say hi to Nadja Klein, Prof, Emmy Noether Research Group Leader at @kit.edu 🇩🇪 & ELLIS Member. Her research areas are Bayesian Methods, ML, and Spatio-Temporal Learning.

She was awarded the COPSS Emerging Leader Award in 2025, which recognises early career statistical scientists 👏

#WomenInELLIS

Visionäre KI: Das vergessene Erbe der Connection Machine

Anlässlich des 40-jährigen Jubiläums der Connection Machine (CM) beleuchtet die Konferenz "Das vergessene Erbe der Connection Machine" am ZKM Karlsruhe das bisher kaum gewürdigte Erbe der CM als visionäre KI-Technologie.
27.3. – Sa, 28.3.26, ZKM, Eintritt frei, 📢 Englisch

zkm.de/de/2026/03/v...

Im Vordergrund ist ein junger Mann mit VR-Brille und Controllern in der Hand zu sehen, schräg rechts hinter ihm steht eine junge Frau mit Brille, die ihm etwas erklärt. © Amadeus Bramsiepe, KIT

Wir forschen digital gibt Ihnen die Möglichkeit, an Studien zu digitalen Technologien teilzunehmen und aktuelle #Forschung hautnah zu erleben. Jede Teilnahme wird finanziell vergütet. Zeigen Sie uns Ihre Perspektive und werden Sie Teil der #Zukunft!
Direkt zur Anmeldung: wir-forschen.digital 2/2

Bürgermeisterin Gabriele Luczak-Schwarz steht erhöht am Karlsruher Marktplatz. Im Hintergrund sind EU- und Baden-Württemberg-Flagge sowie die Pyramide zu sehen. Sie trägt einen roten Schal. © Stadt Karlsruhe, Monika Müller-Gmelin

Gabriele Luczak-Schwarz, Karlsruher Bürgermeisterin für Wissenschaft: "Wir forschen digital ist eine tolle Möglichkeit, ohne große Hemmschwelle mit Forschung in Berührung zu kommen. Probieren Sie es aus – egal ob Sie einmal im Jahr oder regelmäßig teilnehmen möchten. Jeder Beitrag ist wichtig." 1/2

Die Connection Machine mit blinkenden Lichtern auf vier Paneelen. Rechts im Hintergrund die thekenähnlichen Festplattengehäuse in schwarzer Farbe.

Die Connection Machine und alle drei Festplattengehäuse von der Seite aufgenommen.

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.

In der Ausstellung im ZKM kann man fast ganz um die Connetion Machine herumgehen. Deutlich zu sehen die Festplattengehäuse ("Data Vault").
Über ein Touchdisplay kann man Informationen abrufen.

Infos: zkm.de/de/2026/03/c...

#KITInformatik #ConnectionMachine #ZKMKarlsruhe #ZKM

Im Photo sieht man eine Austellungsfläche mit einer Connection Machine. Sie ist schwarz, ca. 1,70m hoch, man sieht vier schwarze Würfel, auf denen viele rote Lämpchen blinken. Davor steht ein Touchdisplay, auf dem man Informationen abrufen sowie die blinkenden Lichter beeinflussen kann. Links im Bild ein Monitor, auf dem ein Film über die Entstehung der Connection Machine gezeigt wird. Rechts an eine Säule gelehnt ein großes Poster mit Informationen über die Connection Machine. Links neben der CM hängt ein großes LED-Display, auf dem Besucher Dokumente, Bilder und Videos über die CM anzeigen lassen können.

Welcome to ZKM, Connection Machine!

Professionell gereinigt und prominent platziert im Foyer des ZKM kann sie bis zum 2. August 2026 besichtigt werden. Als Schmankerl sind hinter den durchscheinenden Paneelen blinkende LED-Platten eingebaut.

#KITInformatik #ConnectionMachine #ZKMKarlsruhe #ZKM

Cover des Podcasts "Informatik für die moderne Hausfrau". Orangener Hintergrund, lachende Frau mit schwarzem Kleid mit roten Punkten präsentiert einen C64. Fotografin: Nici van Grote.

👾🕵️‍♀️ Als ich in der 7. Klasse war, hatte ich ein richtiges Aha-Erlebnis, ohne das ich niemals meine Begeisterung für die Informatik entdeckt hätte. Dafür, dass es anderen Schüler*innen auch so geht, sorgt Julia Freudenberg mit der Hacker School. Mehr: informatik-hausfrau.de/2026/03/24/f...

Der LKW ist voll: Eine Data Vault (die zwei anderen wurden schon Tage vorher abgeholt) und die in drei Teile zerlegte Connection Machine, alles gut festgezurrt. Viel mehr Gewicht darf man gar nicht zuladen.

Good Bye, Connection Machine! 👋

#KITInformatik #ConnectionMachine #ZKMKarlsruhe #ZKM

Mit vereinten Kräften von fünf Helfern wird die Connection Machine über eine schräge Rampe in einen LKW verladen.

#KITInformatik #ConnectionMachine #ZKMKarlsruhe #ZKM

Zum Glück passt die Connection Machine gerade so in unseren Lastenaufzug.

#KITInformatik #ConnectionMachine #ZKMKarlsruhe #ZKM

Blick in das Innere der zwei vorderen Türme einer Connection Machine mit vielen Einsteckkarten und Flachbandkabeln und einer Stromversorgungsschiene in der Mitte. Daneben liegen einige Kanthölzer.

Blick in das Innere der zwei vorderen Türme einer Connection Machine mit vielen Einsteckkarten und Flachbandkabeln und einer Stromversorgungsschiene in der Mitte. Die Türme stehen rechts und links auf hydraulischen hebbaren Rollen, die über Spanngurte fest mit der Connection Machine verbunden sind.

Übrig bleiben die zwei vorderen Türme, die man nicht trennen kann. Diese kleinere Einheit können die Mitarbeiter vom ZKM aber besser "einpacken" und mit zwei speziellen hydraulischen "Sackkarren" transportfähig machen.

#KITInformatik #ConnectionMachine #ZKMKarlsruhe #ZKM

Ein Turm mit zwei Würfeln einer Connection Machine steht vor einem Gebäude. Der Turm ist schwarz, die Seiten der Würfel schimmern rötlich.

Zwei mit Transportdecken verhüllte hohe Quader stehen auf einer Laderampe.

Einer der beiden Türme, die von der Connection Machine abgetrennt wurden, steht zum Transport bereit. Beide Türme warten dann sorgfältig verpackt auf die Verladung in den LKW.

#KITInformatik #ConnectionMachine #ZKMKarlsruhe #ZKM

Zwei Computerschränke stehen nebeneinander. Deutlich ist das Scharnier zu erkennen, mit dem sie vorher verbunden waren. Im rechten Schrank sind Einsteckkarten mit Flachbandkabel zu sehen.

Die rechte Hälfte der beiden vorderen Türme einer Connection Machine. Man sieht Einsteckkarten mit Flachbandkabeln und das Scharnier, mit dem der rechte hintere Turm befestigt war.

Ein leerer Computerturm einer Connection Machine.

Es gelang, die beiden hinteren Türme abzutrennen. Sie sind leer und leicht zu transportieren, wenn auch sehr kippelig.

#KITInformatik #ConnectionMachine #ZKMKarlsruhe #ZKM

Bei einer Connection Machine ist der rechte hintere Turm wegeklappt und man sieht ins Innere. Rechts neben einer senkrechten Stromversorgungsschiene sieht man viele Einsteckprozessorkarten, die mit Flachbandkabel miteinander verbunden sind.

Die beiden hinteren Türme lassen sich aufklappen, doch es war nicht klar, wie man sie abtrennen kann. Erstaunlicherweise erhielten wir auf diesen nicht ganz ernst gemeinten Hilferuf zwei hilfreiche Antworten. mstdn.io/@tencate/116...

#KITInformatik #ConnectionMachine #ZKMKarlsruhe #ZKM

I‘m excited to present my work on Provably Safe Neural Network Control at @horizonomega.org‘s Guaranteed Safe AI online seminar on April 9th.
The talk will based on my NeurIPS‘24 paper with some updates on what I’ve been up to since :)
Feel free to join if you’re interested:

Photo einer Connection Machine von der Seite. Sie steht in einem Gebäude in einem Flur. Man sieht die quadratischen Seiten von vier schwarzen Würfeln, die miteinander verbunden sind. Die Flächen der Würfel schimmern rötlich.

Deutlich schwieriger ist die Verladung dieses Biests: Eine Connection Machine 2 bestehend aus acht Quadern in vier Türmen, geschätztes Gewicht 500 - 600 kg. Zwar steht sie auf kleinen Rollen, aber mit sehr niedriger Bodenfreiheit.

#KITInformatik #ConnectionMachine #ZKMKarlsruhe

The Security & Privacy Lunch will take place on April 14th at 12 o'clock at Oxford Pub, Fasanenstr. 6. Everybody is welcome!

Our April S&P Lunch will take place on Tuesday, April 14th at Oxford Pub. If you want to discuss #cybersec while having delicious burgers you should absolutly come by!

Gruppenbild mit 5 Personen: der Preisträger Ge Li in der Mitte, eingerahmt von seinem beiden Betreuern, zwei Frauen ganz links und ganz rechts.

Dr. Ge Li erhält den Outstanding Doctoral Thesis Award 2026 des Robotics Institute Germany (RIG). Seine Arbeit bringt das robotische Lernen entscheidend voran. Das RIG stärkt als bundesweites Netzwerk die Spitzenforschung in der Robotik - made in Germany. 🤖

zum Artikel: s.kit.edu/yzyxzxz5

🎙️ Nachgefragt science podcast!

Our Julian explains how Wi-Fi can be turned into a surveillance tool, what that means in practice, and how it connects to the broader debate on surveillance and chat control.

🎧 Episode 26: km.kit.edu/nachgefragt_11318.p…
📄 Paper: doi.org/10.1145/3719027.3765062

Die Verladung der zwei Data Vaults für den Transport zum Zentrum für Kunst und Medien Karlsruhe (ZKM) war noch realtiv einfach.
#ConnectionMachine #ZKMKarlsruhe

Der Foto-Sampler zeigt die Exzellenzuniversitäten Heidelberg, KIT Karlsruhe und Tübingen.

#BadenWürttemberg hat weiter bundesweit die meisten Exzellenzuniversitäten: #Tübingen, #Karlsruhe und #Heidelberg dürfen ihren Titel mindestens bis 2033 tragen. Mehr: mwk-bw.de/4hs7 #exzellenz #wissenschaft #forschung @uniheidelberg.bsky.social @kit.edu @unituebingen.bsky.social

Das Präsidium des KIT feiert den Erfolg in der Exzellenzstrategie.

KIT Successfully Defends Its Title as University of Excellence! “We are overjoyed,” says Professor Jan S. Hesthaven, President of KIT.

www.kit.edu/kit/english/...

#KITKarlsruhe #UniversityOfExcellence #ScienceForImpact #ExcellenceStrategy