noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
@noerdman.bsky.social
Der Nerd aus dem Norden. Jeden Montag neu #comics #comic #noerdman #truscova www.rolfdrechsler.de
#VTS2026 - our paper on "Automation of Polynomial Formal Verification using Large Language Models" presented at 2026 IEEE 44th VLSI Test Symposium ( #VTS ) is now available #online ieeexplore.ieee.org/document/115... @unibremen.bsky.social @dfki.bsky.social #test #verification #PolyVer #LLMs
ieeexplore.ieee.org
Immer nur Bergamotte im Tee ist ja auf Dauer auch langweilig. Wer steht denn bitte nicht auf Assam-Meeresfrüchte? #noerdman #comic #comics #Informatik #strom #energie #energienoerdman #verbrauch @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social
Our paper in the August issue of IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems on "Comparing Methods for the Cross-Level Verification of SystemC Peripherals With Symbolic Execution" is available #online ieeexplore.ieee.org/document/112... @unibremen.bsky.social #TCAD
ieeexplore.ieee.org
Our paper in Microprocessors and Microsystems on "Synthesis for testability and verifiability: Polynomial formal verification and test pattern generation for KFDD circuits" is now available #online www.sciencedirect.com/science/arti... @unibremen.bsky.social #test #verification #PolyVer
Preprint of our article on "Timed-Vp: Early and Configurable Timing Estimation Models for Virtual Prototypes" is available #online papers.ssrn.com/sol3/papers.... @unibremen.bsky.social @dfki.bsky.social #VirtualPrototype #riscv @riscvinternational.bsky.social
Timed-Vp: Early and Configurable Timing Estimation Models for Virtual Prototypes
Embedded systems are widely prevalent and tailored for a particular application domain in order to achieve the best performance. To achieve this, design space e
papers.ssrn.com
Wir suchen Verstärkung für unser #Team - Verwaltungsangestellte:r (w/m/d) als Teamassistenz im Projekt #DataNord am #DataScienceCenter der #UniBremen www.uni-bremen.de/universitaet... @unibremen.bsky.social @dsc-ub.bsky.social #DataScience
Offene Stellen - Universität Bremen
Offene Stellen
uni-bremen.de
"Nein, natürlich habe ich Ihre Tochter nicht illegalerweise für den Informatikunterricht in ein soziales Netzwerk gelassen. Haben Sie sich github mal angeschaut? Die Leute da sind alles andere als sozial. Hallo? Hallooo?" #noerdman #comic #comics #code @unibremen.bsky.social @informatik.bsky.social
#SummerOfAI: @unibremen.bsky.social at Numerous Events www.uni-bremen.de/en/universit... #IJCAI2026 #Bremen
Summer of AI: University of Bremen at Numerous Events
In August, several thousand AI experts will gather for the International Joint Conference on Artificial Intelligence (IJCAI). The big questions surrounding AI will be brought to the city. The universi...
uni-bremen.de
Die erste Maske ist kostenlos. Wenn man dann erstmal angefangen hat, regelmäßig zu hacken, verlangen sie dann auf einmal Geld dafür. #noerdman #comic #comics #Informatik #hacker #sicherheit #security @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social
#GECCO2026 - Nils Leusmann presenting our paper on "Enhancing Surrogate Model Usability for Optimisation Experts through Extended ML Support in EvoAl" at The Genetic and Evolutionary Computation Conference; paper available #online agra.informatik.uni-bremen.de/doc/konf/gec... @dsc-ub.bsky.social
#GECCO2026 - team from #AGRA @unibremen.bsky.social and @dfki.bsky.social #CPS at The Genetic and Evolutionary Computation Conference ( #GECCO ) in #CostaRica gecco-2026.sigevo.org/HomePage @dsc-ub.bsky.social
#GECCO2026 - Bernhard Berger presenting our paper on "Ride-Sharing Simulation for Optimisation" at The Genetic and Evolutionary Computation Conference ( #GECCO ) in #CostaRica; paper available #online agra.informatik.uni-bremen.de/doc/konf/gec... @unibremen.bsky.social @dfki.bsky.social
#GECCO2026 - Christina Plump presenting our paper on "Can Explainability Metrics Improve Genetic Programming? Lessons from 2048" at The Genetic and Evolutionary Computation Conference ( #GECCO ) in #CostaRica; paper available #online agra.informatik.uni-bremen.de/doc/konf/gec...
Our paper on "Advances in Instruction Compression and Memory Footprint Reduction for RISC-V" is now available #online dl.acm.org/doi/10.1145/... #riscv
Advances in Instruction Compression and Memory Footprint Reduction for RISC-V | Proceedings of the 23rd ACM International Conference on Computing Frontiers: Workshops and Special Sessions
dl.acm.org
Wenn man etwas macht, dann bitte mit Stil. Welcher Stil einem auch immer liegt. Zum Beispiel ist "unvorbereitet" ein sehr beliebter Stil. #noerdman #comic #comics #Informatik #urlaub #arbeit #erholung #deadline @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social
AI Becomes the Talk of the Town: Bremen Launches the #SummerOfAI www.bremen-research.de/en/services/... #IJCAI2026 #Bremen
AI Becomes the Talk of the Town: Bremen Launches the Summer of AI
When several thousand AI experts from around the world come to Bremen in August 2026 for the International Joint Conference on Artificial Intelligence, the conversation about artificial intelligence w...
bremen-research.de
#ISVLSI2026 - back in #Bremen after giving a #keynote at the IEEE Computer Society Annual Symposium on VLSI in #Kolkata, #India; thanks a lot for the great organisation and many interesting discussions ieee-isvlsi.github.io/ISVLSI_2026_... @unibremen.bsky.social @dfki.bsky.social #ISVLSI
Das neue .inf-Magazin 14 der @informatik.bsky.social ist #online - und #noerdman ist auch wieder mit dabei inf.gi.de/14 @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #comic #comics #Informatik #hacker #sicherheit #security @noerdman.bsky.social
#ISVLSI2026 - Luca Müller presenting on "Modular End-to-End Pipeline for Formal Property Verification using Large Language Models" at the IEEE Computer Society Annual Symposium on VLSI in #Kolkata, #India ieee-isvlsi.github.io/ISVLSI_2026_... @dfki.bsky.social #LLMs #verification #ISVLSI
#ISVLSI2026 - Abhoy Kole presenting on "Adaptive Clifford+T Decomposition of Large Toffoli Gates with One Clean Ancilla" at the IEEE Computer Society Annual Symposium on VLSI in #Kolkata, #India; paper is available #online agra.informatik.uni-bremen.de/doc/konf/ISV... @dfki.bsky.social #quantum
#ISVLSI2026 - presentation of our paper on "Optimized Compilation and Atom Shuttling for Reconfigurable Neutral Atom Arrays" at the IEEE Computer Society Annual Symposium on VLSI ( #ISVLSI ) in #Kolkata, #India agra.informatik.uni-bremen.de/doc/konf/ISV... @unibremen.bsky.social @dfki.bsky.social
#ISVLSI2026 - #keynote on "Design for Polynomial Formal Verification: How Design Choices Impact Formal Verification" at the IEEE Computer Society Annual Symposium on VLSI ( #ISVLSI ) in #Kolkata, #India ieee-isvlsi.github.io/ISVLSI_2026_...
#ISVLSI2026 - team from #AGRA @unibremen.bsky.social and @dfki.bsky.social #CPS at IEEE Computer Society Annual Symposium on VLSI ( #ISVLSI ) in #Kolkata, #India ieee-isvlsi.github.io/ISVLSI_2026_...
#ISVLSI2026 - Conference Opening of IEEE Computer Society Annual Symposium on VLSI ( #ISVLSI ) ieee-isvlsi.github.io/ISVLSI_2026_... @unibremen.bsky.social @dfki.bsky.social
Visiting Indian Statistical Institute, #Kolkata and giving a seminar on "Artificial Intelligence in Research and Education: Opportunities, Limitations, and Responsibilities" isical.ac.in/index @unibremen.bsky.social @dfki.bsky.social #India
#RoboCup2026 - Deutschlands Fußballer sind raus, Bremens Roboter sind Weltmeister www.uni-bremen.de/universitaet... #RoboCup #WorldCup #bhuman @dfki.bsky.social @unibremen.bsky.social #Bremen
Deutschlands Fußballer sind raus, Bremens Roboter sind Weltmeister
Das gemeinsame Team der Universität Bremen und des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI) gewinnt die Weltmeisterschaft im Roboterfußball im südkoreanischen Incheon. Mit einer ...
uni-bremen.de
Der persönliche Fußabdruck rettet bestimmt die Welt vor den Gasturbinen der Rechenzentren. #noerdman #comic #comics #Informatik #strom #energie #energienoerdman #LLMs #ChatBots @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social
#ISVLSI2026 - on my way to #Kolkata, #India for the IEEE Computer Society Annual Symposium on VLSI (#ISVLSI) ieee-isvlsi.github.io/ISVLSI_2026_... @unibremen.bsky.social @dfki.bsky.social
Heute an der #UniBremen: Master-Projekttag 2026 der #Informatik - 10:00 - 15:00 · MZH E1; mit dem Projekt #Hope2D von #AGRA @unibremen.bsky.social www.informatik.uni-bremen.de/projekttag/2... @informatik.bsky.social
#ISVLSI2026 - looking forward to giving a #keynote on "Design for Polynomial Formal Verification: How Design Choices Impact Formal Verification" at IEEE Computer Society Annual Symposium on VLSI (#ISVLSI) in #Kolkata, #India ieee-isvlsi.github.io/ISVLSI_2026_... #PolyVer @unibremen.bsky.social
