noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova

#SETS2026 - attending the South European Test Seminar 2026; with presentations by Sajjad Parvin and Caroline Dominik from @unibremen.bsky.social www.lirmm.fr/sets26/ @dsc-ub.bsky.social @dfki.bsky.social #security #NanoSecurity #verification #test #CAUSE

Auch wenn sich @noerdman.bsky.social sehr geehrt fühlt, müssen wir richtigstellen, dass Wolfgang Wahlster das @dfki.bsky.social mitbegründet hat, aber nicht "uns" ;-)

#VTS2026 - IEEE VLSI Test Symposium 2026 program available; including our paper on "Automation of Polynomial Formal Verification using Large Language Models" tttc-vts.org/public_html/... @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #LLM #PolyVer #verification

Journal of Circuits, Systems and Computers JCSC covers mathematical foundations to practical engineering design in circuits, systems, and computers. Research papers, survey, letters and tutorial papers are welcome

Our paper in Journal of Circuits, Systems and Computers on "Practicality of MAGIC NOR in a 1T1M Crossbar Array for In-memory Computing" is now availalble #online www.worldscientific.com/doi/abs/10.1... @unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social #MAGIC #LiM #LogicInMemory

Ich brauche die Brille zum gucken! Und die Kopfhörer... zum Hören! Und dass ich so lange zum Antworten brauche... uh... ich hatte noch keinen Kaffee!
#noerdman #comic #comics #Informatik #computer #Lehre #Studium @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social

#MBMV2026 - 29. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen; program is #online; with three papers from @unibremen.bsky.social and @dsc-ub.bsky.social www.informatik.uni-wuerzburg.de/en/mbmv/prog... #PolyVer #CAUSE #explainability

Neues Buch in der #Springer #BestMasters Serie: Caroline Dominik wurde für ihre Masterarbeit außerdem mit dem Fachbereichspreis #Informatik der @unibremen.bsky.social ausgezeichnet.
@springernature.com

Our paper in ACM Transactions on Design Automation of Electronic Systems ( #TODAES ) on "Linear Formal Verification of Sequential Circuits using Weighted-AIGs" is available #online as #OpenAccess dl.acm.org/doi/10.1145/... @unibremen.bsky.social @dfki.bsky.social #PolyVer #verification

Dass die Folgen alle auf einmal erscheinen ist ja bequem... aber auch irgendwie nicht so richtig förderlich für den Biorhythmus.
#noerdman #comic #comics #Informatik #computer #jetlag #serie @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social

Vortrag bei #SCIENCEGOESPUBLIC! am 9.4. im #OililiO in #Bremen: Nachvollziehbare Künstliche Intelligenz – warum Verstehen immer wichtiger wird www.bremerhaven-erleben.de/event/sgp-15 @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #CAUSE

Vertrauen ist gut, Verstehen ist besser – Prof. Dr. Rolf Drechsler – Wissen um 11 YouTube video by Haus der Wissenschaft Bremen

Vortrag "Vertrauen ist gut, Verstehen ist besser: Wie technische Geräte ihre Entscheidungen erklären" im Haus der Wissenschaft in #Bremen jetzt #online auf #YouTube verfügbar www.youtube.com/watch?v=310Y... @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #WissenUm11 #CAUSE

#TuZ2026 - Jan Kleinekathöfer from @unibremen.bsky.social presenting on "Secure Open-Source Chip Design: Logic Locking and Attack Analysis within the OpenLane Flow" at 38. ITG/GMM/GI-Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen new.express.adobe.com/webpage/N9W3...

#TuZ2026 - Martha Schnieber from @unibremen.bsky.social presenting on "Polynomial Test Pattern Generation for Fully Testable Circuits derived from KFDDs" at 38. ITG/GMM/GI-Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen new.express.adobe.com/webpage/N9W3... #test #testing

#TuZ2026 - Opening Session of 38. ITG/GMM/GI-Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen new.express.adobe.com/webpage/N9W3... @unibremen.bsky.social #test

Es gibt keinen Grund, so wertend zu sein. Leute dürfen Spaß an Dingen haben! Also zeig' ihnen ihre Compilerfehler nicht!
#noerdman #comic #comics #Informatik #computer #Software #HobbyHorsing #HobbyCoding @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social

Status Meeting of #BMFTR-funded project DI-ReDesign on "Open-Source-Designwerkzeuge und Bibliotheken für neuartige Transistorentechnologien" in #Bremen www.elektronikforschung.de/projekte/di-... @unibremen.bsky.social #ReDesign

Die #noerdman-Ausstellung in der Stadtbibliothek #Bremen wurde verlängert; weitere Infos: www.noerdman.de/ausstellung_... @noerdman.bsky.social @unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social @informatik.bsky.social #comic #comics #StaBi

Social Event at the retreat of our #DFG Research Training Group "Concepts and Algorithms for – and Usage of – Self-Explaining Digitally Controlled Systems" (#CAUSE) in #TimmendorferStrand rtg-cause.github.io @unibremen.bsky.social @dfki.bsky.social #SelfExplanation #explanation

Retreat of our #DFG Research Training Group "Concepts and Algorithms for – and Usage of – Self-Explaining Digitally Controlled Systems" (#CAUSE) in #TimmendorferStrand; presentations by the group of #Bremen rtg-cause.github.io @unibremen.bsky.social @dfki.bsky.social #SelfExplanation #explanation

#GECCO2026 - contribute to the competition on "Explainable ride-sharing optimisation for sustainable traffic organisation" gecco-2026.sigevo.org/Competition?... #CAUSE @unibremen.bsky.social @dfki.bsky.social

Das #GoldenePlietsch: Gewinner mit #noerdman; Infos zur Veranstaltung unter www.uni-bremen.de/kooperatione... @noerdman.bsky.social @unibremen.bsky.social @dfki.bsky.social #comic #comics

Retreat of our #DFG Research Training Group "Concepts and Algorithms for – and Usage of – Self-Explaining Digitally Controlled Systems" (#CAUSE) in #TimmendorferStrand rtg-cause.github.io @unibremen.bsky.social @dsc-ub.bsky.social #SelfExplanation #explanation @dfg.de

... und warum genau meinst du jetzt, dass deine Daten kein Tiny House brauchen?
#noerdman #comic #comics #Informatik #computer #Software #daten #digital #DataScience #TinyHouse #BigData #TinyData #Noerdismus @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social

Warum überhaupt mehr Folien vorbereiten?
#noerdman #comic #comics #Informatik #computer #ASMR #vibe #gefühl #schlaf @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social

Okay, danke. Sie ist testbar. Bitte gib mir jetzt die entsprechende Dokumentation. Nein, keine neue Architektur, die besser dokumentierbar ist.
#noerdman #comic #comics #Informatik #computer #Software #SoftwareEngineering #ChatGPT @unibremen.bsky.social @dsc-ub.bsky.social @informatik.bsky.social

Gewinner bei "Das Goldene Plietsch 2026" mit "Energie-Noerdman" www.uni-bremen.de/universitaet... #noerdman @noerdman.bsky.social @unibremen.bsky.social @informatik.bsky.social #comic #comics

Kemal Çağlar Coşkun finished his PhD – congratulations!
@unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social

Retreat with the students of our Bachelor project #TrustMe and the Master project #Hope2D agra.informatik.uni-bremen.de/studpro.php?... @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social

Wenn die KI so gut weiß, was ich will, warum ist sie dann noch da?
#noerdman #comic #comics #digitial #digitalisierung #Informatik #computer #chatbot #chatbots #genAI #ChatGPT @unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social @informatik.bsky.social

#DDECS2026 - 29th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems will be held in #Bratislava, #Slovakia, April 27-29, 2026 - submit papers until tomorrow: January 25, 2026 deimos.elf.stuba.sk/projekty/DDE... #DDECS