mastodon 4.7.3Fakultät für Informatik am Karlsruher Institut für Technologie, gegründet am 1.10.1972 als erste Informatik-Fakultät in Deutschland. #KITInformatik
Auf einem kurzen Besuch beim Digital Independence Day-Event in #Karlsruhe im TRIANGEL, organisiert von @entropia@chaos.social und @MuT_KIT@social.kit.edu
https://www.triangel.space/event/di-day-maerz/
(Läuft noch bis 18:00 Uhr, auch wenn auf dieser Webseite 16:00 Uhr steht)
RE: @KIT_Karlsruhe@social.kit.edu
Da stellen wir uns dahinter @KIT_Karlsruhe@social.kit.edu .
Vielfalt ist kein Trend, sondern Realität – Solidarität, Respekt und Offenheit sind für uns nicht verhandelbar. 🌈 Heute und jeden Tag.
Wir begrüßen Andreas Sattler ganz herzlich auf der Professur für Recht und Informatik, der damit die Nachfolge von Professor Thomas Dreier antritt. Mit der Neuberufung wird die Brücke zwischen technischen und rechtlichen Fragestellungen an der KIT‑Fakultät für Informatik weiter gestärkt.
Wir wünschen ihm einen guten Start und freuen uns auf die zukünftigen Impulse in Forschung und Lehre.
#kitinformatik #informationsrecht #rechtundinformatik #zar
Bild: Alexander Schmid-Paetzold
🎉 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 reel, Maike shares what she’s working on at KIT and what drives her research. 👩💻✨
#KITInformatik #AppleScholars #AIML #AIResearch #PhDLife #KITKarlsruhe
Unser humanoider Roboter ARMAR 7 ist aktuell auf "Dienstreise" auf der Hannover Messe. Dabei ist er nicht nur für das Fachpublikum interessant, sondern auch für die Medien. So wie z.B. im Bericht von 3SAT Nano (ab 12:32 min.)
https://www.3sat.de/wissen/nano/260420-sendung-bremst-die-regierung-die-energiewende-aus-kritiker-warnen-nano-100.html
Meet 'n' Prove is the opportunity to find out about research and teaching on formal methods.
Find out more about our research and about opportunities for final theses or student jobs!
6 research groups - all focussing on formal methods - will present their work:
Please let us know if you plan to attend the event: https://s.kit.edu/mnp
Spontaneous participation is still possible!
#formalMethods #kitinformatik
TechTalk mit Chaos am 29.04.2026, 17:30 Uhr, Raum -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!
In this talk, we will break down the composition of a frame in our pipeline and explore the specific algorithms and data structures that make our renderer possible.
Anmeldungn: https://forms.gle/7UtaCxVvFMtWynox6
Die Fachschaft veranstaltet heute seit 14:30 Uhr eine Institutsvorstellungsmesse ("Meet the Chairs").
Auf der Messe haben Informatik-Studierende die Möglichkeit, die verschiedenen Forschungsbereiche der Informatik am KIT kennenzulernen und sich über Lehrveranstaltungen, HiWi-Stellen sowie Abschlussarbeiten auszutauschen.
Ort: Atrium im InformatiKOM I, Geb. 50.19, KIT Campus Süd, Adenauerring 12
Wie können KI-Systeme besser mit neuen Situationen umgehen?
Genau das erforscht Dr. André Biedenkapp ab September am KIT. Für seine Arbeiten zur besseren Generalisierung von Reinforcement Learning hat er eine Emmy Noether-Gruppe der DFG eingeworben (1,2 Mio. € Förderung). 🤖🔬
Infos: https://www.informatik.kit.edu/11147_15180.php
#KIT #KITInformatik #Forschung #KI #ReinforcementLearning #EmmyNoether
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.
Zum Artikel:
https://www.informatik.kit.edu/11147_15195.php
Zum Fakultätsvorstand:
https://www.informatik.kit.edu/1315.php
