noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
@noerdman.bsky.social
📤 169
📥 1
📝 758
Der Nerd aus dem Norden. Jeden Montag neu
#comics
#comic
#noerdman
#truscova
www.rolfdrechsler.de
Technologie-Roadmaps in erster Fassung öffentlich
www.forschung-und-lehre.de/politik/tech...
#HightechAgenda
#HTAD
#KünstlicheIntelligenz
#Quantentechnologien
#Mikroelektronik
loading . . .
Technologie-Roadmaps in erster Fassung öffentlich
Die Hightech Agenda soll Deutschland wirtschaftlich wieder nach vorne bringen. Nun sind die nächsten Schritte und geplante Maßnahmen bekannt.
https://www.forschung-und-lehre.de/politik/technologie-roadmaps-in-erster-fassung-oeffentlich-7706
2 days ago
0
0
0
#ETS2026
- Sajjad Parvin from
#AGRA
@unibremen.bsky.social
presenting on "Mitigating Optical Probing at Circuit and Layout Levels" as part of the "Special Session 5: Hardware Security at the Circuit and Layout Levels"
ets2026.uniwa.gr/conference-p...
#NanoSecurity
#security
3 days ago
0
0
0
#ETS2026
- Martha Schnieber from
#AGRA
@unibremen.bsky.social
presenting on "Path Delay Fault Testable KFDD Circuits with Polynomial Test Pattern Generation"; paper is available
#online
agra.informatik.uni-bremen.de/doc/konf/ETS...
#PolyVer
3 days ago
0
0
0
Our paper in Springer Nature Computer Science on "Dynamic Transformation of Quantum Algorithms for Resource-Constrained Architectures" is available
#online
link.springer.com/article/10.1...
@springernature.com
@unibremen.bsky.social
@dfki.bsky.social
#quantum
3 days ago
0
1
0
#ETS2026
- our team from
#AGRA
@unibremen.bsky.social
at 31st IEEE European Test Symposium in Chania, Greece
ets2026.uniwa.gr/at-a-glance/
3 days ago
0
0
0
#ETS2026
- Wine and Cheese Panel: "Failure is Part of the Journey - Let's Talk About It" at 31st IEEE European Test Symposium in Chania, Greece
ets2026.uniwa.gr/at-a-glance/
@unibremen.bsky.social
@dfki.bsky.social
4 days ago
0
0
0
#ISMVL2026
- paper presented at the IEEE International Symposium on Multiple-Valued Logic on "LLM-based Generation of High-Level Benchmarks for MVL Designs" is available
#online
agra.informatik.uni-bremen.de/doc/konf/ISM...
@unibremen.bsky.social
@dfki.bsky.social
#LLM
#MVL
#ISMVL
5 days ago
0
1
0
Vortrag bei Wissen um 11 im Haus der Wissenschaft in Bremen am 6.6.: Dr. Sallar Ahmadi-Pour von
#AGRA
@unibremen.bsky.social
trägt vor zu "Falsch rechnen – korrekt entscheiden: Warum KI keine perfekten Zahlen braucht"
www.hausderwissenschaft.de/Falsch-rechn...
loading . . .
Falsch rechnen – korrekt entscheiden: Warum KI keine perfekten Zahlen braucht
https://www.hausderwissenschaft.de/Falsch-rechnen-korrekt-entscheiden-Warum-KI-keine-perfekten-Zahlen-braucht-2.html
5 days ago
0
1
0
#ETS2026
- opening session of 31st IEEE European Test Symposium in Chania, Greece
ets2026.uniwa.gr
5 days ago
0
1
0
#ETS2026
- on my way to the 31st IEEE European Test Symposium in Chania, Greece
6 days ago
0
0
0
Alles gute zum
#handtuchtag
allerseits!
#noerdman
#comic
#comics
#Informatik
#towelday
#HHGTTG
#ArthurDent
#DouglasAdams
#DontPanic
#HitchhikersGuide
@unibremen.bsky.social
@dsc-ub.bsky.social
@dfki.bsky.social
@informatik.bsky.social
6 days ago
0
1
0
Warum heißt es
#Pfingsten
?
#Pfingstwochenende
#noerdman
#comic
#comics
#noerdman
#penta
#pentium
#pentagon
#Pfingstfest
#Pfingstsonntag
7 days ago
0
1
1
Heißt es eigentlich "der", "die" oder "das" Pfingsten
noerdman.de
#noerdman
#Pfingstsonntag
#Pfingstfest
#Pfingsten
#Pfingstsonntag
#Pfingstfest
#FrohePfingsten
@noerdman.bsky.social
8 days ago
0
0
0
#ISMVL2026
- presentation of the paper "LLM-based Generation of High-Level Benchmarks for MVL Designs" at the IEEE International Symposium on Multiple-Valued Logic
mvl.jpn.org/ISMVL2026/in...
@unibremen.bsky.social
@dsc-ub.bsky.social
@dfki.bsky.social
#MVL
#ISMVL
10 days ago
0
0
0
#IWSBP2026
- the 17th International Workshop on Boolean Problems will be held in
#Bremen
,
#Germany
on September 17-18; paper submission deadline: June 16; for further information see
informatik.uni-bremen.de/iwsbp/index....
@unibremen.bsky.social
@dfki.bsky.social
10 days ago
0
1
0
#DDECS2026
- 29th International Symposium on Design and Diagnostics of Electronic Circuits and Systems papers are now recorded in the IEEE Xplore digital library; including four papers from
#AGRA
@unibremen.bsky.social
and
#DFKI
#CPS
ieeexplore.ieee.org/xpl/conhome/...
@ieeexplore.ieee.org
#DDECS
loading . . .
https://ieeexplore.ieee.org/xpl/conhome/11520920/proceeding
10 days ago
0
1
0
#CF2026
- on May, 21st our paper on "Advances in Instruction Compression and Memory Footprint Reduction for RISC-V" will be presented at the 23rd ACM International Conference on Computing Frontiers (CF'26) in Catania, Sicily, Italy
www.computingfrontiers.org/2026/index.h...
@unibremen.bsky.social
11 days ago
0
0
0
Our paper in Microprocessors and Microsystems on "An HDL-centric synthesis and verification approach for RRAM-based neuromorphic systems" is available
#online
www.sciencedirect.com/science/arti...
@unibremen.bsky.social
@dfki.bsky.social
#RRAM
#neuromorphic
#synthesis
#verification
12 days ago
0
0
0
#ISMVL2026
- opening ceremony of IEEE International Symposium on Multiple-Valued Logic in
#Sendai
mvl.jpn.org/ISMVL2026/
#ISMVL
#MVL
13 days ago
0
1
0
Our chapter "Ensuring Correctness Efficiently for RISC-V Processors with Customised Multiplier Designs" in the
#Springer
book on "Design and Verification of Cyber-Physical Systems: From Theory to Applications" is available
#online
link.springer.com/chapter/10.1...
@unibremen.bsky.social
#PolyVer
13 days ago
0
2
0
Natürlich ist das viel Strom für eine einzige Transaktion, aber hast du gesehen wie schnell sie da war? Ach so, die ist noch nicht verifiziert? Ja, das dauert manchmal.
#noerdman
#comic
#comics
#Informatik
#energie
@unibremen.bsky.social
@dsc-ub.bsky.social
@dfki.bsky.social
@informatik.bsky.social
13 days ago
0
0
0
#ISMVL2026
- on my way to
#Sendai
for IEEE International Symposium on Multiple-Valued Logic
mvl.jpn.org/ISMVL2026/
13 days ago
0
0
0
#CHERIBlossoms2026
- Recordings & Slides of talks of CHERI Blossoms Conference 2026 are available
#online
; including presentation from Luca Müller from
@dfki.bsky.social
#CPS
cheri-alliance.org/events/cheri...
@unibremen.bsky.social
#riscv
@riscvinternational.bsky.social
loading . . .
CHERI Alliance – CHERI Blossoms Conference 2026
CHERI Blossoms Conference 2026 Pre-Conference Tutorial: 25 March 2026 Main Conference Date: 26 – 27 March 2026 Location: Department of Computer Science and Technology – William Gates Building, Univers...
https://cheri-alliance.org/events/cheri-blossoms-conference-2026/
19 days ago
0
1
0
Morgen Vortrag in
#Bremervörde
zu "Nachvollziehbare Künstliche Intelligenz – warum Verstehen immer wichtiger wird"
www.entdecke-nds.de/de/entdecke-...
@unibremen.bsky.social
@dsc-ub.bsky.social
@dfki.bsky.social
20 days ago
0
0
0
#Informatik2026
- Data- und Digital-Science-Community Workshop: Aktuelle Entwicklungen und Perspektiven (an Hochschulen) im Bereich Data und Digital Science (DaDiSC); Deadline: 21.05.
dadisc.org/informatikfe...
#DataScience
@unibremen.bsky.social
@dsc-ub.bsky.social
@informatik.bsky.social
loading . . .
InformatikFestival2026 – DaDiSC
https://dadisc.org/informatikfestival2026/#informatikfestival
20 days ago
0
1
0
Ich sage ja gar nicht, dass es falsch ist... Ich sage nur, dass ich das so nicht hören will!
#noerdman
#comic
#comics
#Informatik
#smart
#SmartHome
@unibremen.bsky.social
@dsc-ub.bsky.social
@dfki.bsky.social
@informatik.bsky.social
20 days ago
0
1
0
Vortrag in
#Bremervörde
am 12.5. um 20 Uhr im Ratssaal zu "Nachvollziehbare Künstliche Intelligenz – warum Verstehen immer wichtiger wird"
www.anzeiger-verlag.de/timeline/bre...
@unibremen.bsky.social
22 days ago
0
0
0
Vortrag in
#Bremervörder
am 12.5. um 20 Uhr im Ratssaal zu "Nachvollziehbare Künstliche Intelligenz – warum Verstehen immer wichtiger wird"
www.kulturundheimat.de/aktuell/Even...
@unibremen.bsky.social
loading . . .
https://www.kulturundheimat.de/aktuell/Eventdetail/10468/24,26,27,33,34,40,41,42,46,48,51,56,58,123/prof-dr-rolf-drechsler-kuenstliche-intelligenz-verstehen.html?filter_reset=1
23 days ago
0
0
0
#IWSBP2026
- the 17th International Workshop on Boolean Problems will be held in
#Bremen
on September 17-18; paper submission deadline: June 16; papers will be published in IEEE Embedded Systems Letters; for further information see
informatik.uni-bremen.de/iwsbp/index....
@unibremen.bsky.social
24 days ago
0
1
0
#DATE2026
- slides of my
#keynote
"On My Perfect Life: A Tenured Position While AI Does The Job" presented at
#DATE
are available
#online
agra.informatik.uni-bremen.de/drechsler/h_...
@unibremen.bsky.social
@dfki.bsky.social
25 days ago
0
1
0
Our paper in IEEE Transactions on Circuits and Systems I on "Polynomial Debugging and Fault Correction of Combinational Circuits With Constant Cutwidth" is available
#online
ieeexplore.ieee.org/document/112...
@unibremen.bsky.social
@dfki.bsky.social
#PolyVer
loading . . .
Polynomial Debugging and Fault Correction of Combinational Circuits With Constant Cutwidth
Formal Verification (FV) is a widely used technique for verifying whether a gate-level design is functionally equivalent to its specification. However, when verification fails due to the presence of f...
https://ieeexplore.ieee.org/document/11268544
25 days ago
0
1
1
Happy
#StarWarsDay
!
#MayThe4thBeWithYou
#StarWars
#starwarsday2026
#MayThe4th
#MayTheFourthBeWithYou
#noerdman
@noerdman.bsky.social
27 days ago
0
0
1
Goethes letzte Worte waren angeblich "mehr Licht"... Aber wann ist denn genug?
#noerdman
#comic
#comics
#Informatik
#strom
#erergie
#umwelt
#werbung
@unibremen.bsky.social
@dsc-ub.bsky.social
@dfki.bsky.social
@informatik.bsky.social
27 days ago
0
1
0
#DDECS2026
- 3rd day starts with
#keynote
by Karel Masařík on "Scaling EDA for Increasing System Complexity: Lessons Learned and Future Directions"
deimos.fei.stuba.sk/projekty/DDE...
about 1 month ago
0
0
0
Our paper in Journal of Neuromorphic Computing and Engineering on "Device-to-logic variability propagation in RRAM-based logic-in-memory architectures" is available
#online
doi.org/10.1088/2634...
via
@ioppublishing.bsky.social
@unibremen.bsky.social
@dfki.bsky.social
#RRAM
#LiM
#LogicInMemory
loading . . .
Device-to-logic variability propagation in RRAM-based logic-in-memory architectures
Device-to-logic variability propagation in RRAM-based logic-in-memory architectures, Bende, Ankit, Singh, Simranjeet, Jha, Chandan Kumar, Storelli, Daniele, Nielinger, Dennis, Drechsler, Rolf, Dittman...
https://doi.org/10.1088/2634-4386/ae65d5
about 1 month ago
0
0
0
#DDECS2026
- team of
#AGRA
@unibremen.bsky.social
and
@dfki.bsky.social
#CPS
at
#DDECS
in
#Bratislava
deimos.fei.stuba.sk/projekty/DDECS
about 1 month ago
0
0
0
#DDECS2026
: Till Schnittka presents our paper on "Measurement-Driven Adaptive Low-Overhead Implementation of Multi-Controlled Toffoli Gates" at
#DDECS
; paper is available
#online
agra.informatik.uni-bremen.de/doc/konf/DDE...
#quantum
@unibremen.bsky.social
@dfki.bsky.social
about 1 month ago
0
0
0
#VTS2026
- Luca Müller presents our paper on "Automation of Polynomial Formal Verification using Large Language Models" at IEEE VLSI Test Symposium 2026; paper is available
#online
agra.informatik.uni-bremen.de/doc/konf/VTS...
@unibremen.bsky.social
@dfki.bsky.social
#PolyVer
#LLMs
about 1 month ago
0
0
0
#DDECS2026
- 2nd day starts with
#keynote
by Leticia Maria Bolzani Pöhls on "Heterogeneous Integration in AI Computing: Challenges and Solutions"
deimos.fei.stuba.sk/projekty/DDE...
about 1 month ago
0
0
0
#DDECS2026
- presentation of our papers in the poster session of
#DDECS
deimos.fei.stuba.sk/projekty/DDE...
about 1 month ago
0
0
0
#DDECS2026
- conference starts with
#keynote
by Robert Wille on "Quantum Computing Is Coming: Why We Now Need Design and Diagnostics Expertise"
deimos.fei.stuba.sk/projekty/DDE...
#quantum
about 1 month ago
0
0
0
#DDECS2026
- Opening Session of
#DDECS
in
#Bratislava
deimos.fei.stuba.sk/projekty/DDE...
about 1 month ago
0
0
0
Aber wer hat den Maschinen denn beigebracht, einen Halbmarathon zu laufen, anstatt die Spülmaschine auszuräumen oder so?
#noerdman
#comic
#comics
#Informatik
#roboter
#robotik
#laufen
#marathon
@unibremen.bsky.social
@dsc-ub.bsky.social
@dfki.bsky.social
@informatik.bsky.social
about 1 month ago
0
1
1
#DDECS2026
- on my way to
#Bratislava
for
#DDECS
about 1 month ago
0
0
0
Research Data Day 2026: Northwest Data Space Strengthens Bremen as a Hub for Research Data and AI
www.bremen-research.de/en/services/...
@agra_uni_bremen
#DataScience
#DataNord
about 1 month ago
0
0
0
#DATE2026
- presentation of our paper "Identifying hardware optimizations for neural network inference using virtual prototypes"
date-conference.com/programme
@unibremen.bsky.social
about 1 month ago
0
1
0
#DATE2026
- presentation of our paper on "Late breaking results: Conversion of neural networks into logic flows for edge computing"; also available on
#arxiv
arxiv.org/abs/2601.22151
@unibremen.bsky.social
@handle.invalid
about 1 month ago
0
0
0
#DATE2026
- presentation of our paper on "Polynomial verification of 2-affine spaces"
agra.informatik.uni-bremen.de/doc/konf/DAT...
@unibremen.bsky.social
@dsc-ub.bsky.social
#PolyVer
about 1 month ago
0
1
0
#DATE2026
- giving my
#keynote
"On My Perfect Life: A Tenured Position While AI Does The Job"
www.date-conference.com/node/2033
@unibremen.bsky.social
about 1 month ago
0
0
0
#DATE2026
- lot of interest in the presentations of Mohamed Nadeem and Jan Zielasko at the
#PhDForum
www.date-conference.com
about 1 month ago
0
0
0
Load more
feeds!
log in