Rolf Drechsler
@Rolf_Drechsler
Professor for Computer Architecture (@agra_uni_bremen) at @UniBremen. Dean. Director at @DFKI, Head of the Cyber-Physical Systems Group, @noerdman, @truscova
ID:417359324
http://www.rolfdrechsler.de/ 20-11-2011 20:52:14
17,9K Tweets
1,5K Followers
41 Following
Follow People
Es ist Montag - Neues von #noerdman : der #Nerd aus dem #Norden auf noerdman.de
AGRA Uni Bremen Data Science Center (@[email protected]) #comic #comic s #Informatik Gesellschaft für Informatik e.V. #FeelGoodManager
Happy Star Wars Day - May The 4th Be With You noerdman.de
#noerdman #StarWars #StarWars Day #MayThe4th #Maythe4thBeWithYou #MayTheFourth #MayTheFourth BeWithYou noerdman noerdman
CHE-Ranking: Hohe Zufriedenheit der Studierenden an der #UniBremen - sehr gute Bewertungen für die #Informatik in #Bremen
uni-bremen.de/universitaet/h… #Studium #Lehre
#NandToTetris : Building a Modern Computer System from First Principles cacm.acm.org/research/nand-… #education #ComputerArchitecture
Paving the Way for Open Source Processors up2date.uni-bremen.de/en/article/pav…
#verification #OpenSource #risc #risc v RISC-V #scale4edge #UniBremen AGRA Uni Bremen Data Science Center (@[email protected]) DFKI Muhammad Hassan Sajjad Parvin
There are sooo many #debugging approaches: #RubberDuckDebugging , #PairDebugging , #RemoteDebugging , #PostMortemDebugging ,...
What will be next?
#noerdman #comic #comic s #programming #Java #Java Script #Python #Rust noerdman noerdman
My talk as #CEDA Distinguished Lecturer at IEEE Education Week on “ #PolynomialFormalVerification : Ensuring Correctness under Resource Constraints” is available #online in #YouTube youtube.com/watch?v=d4VyqO… AGRA Uni Bremen DFKI Data Science Center (@[email protected]) #PolyVer IEEE
Es ist Montag - Neues von #noerdman : der #Nerd aus dem #Norden auf noerdman.de
AGRA Uni Bremen Data Science Center (@[email protected]) #comic #comic s #Informatik Gesellschaft für Informatik e.V. #programming #Programmierung #debugging #RubberDuckDebugging
Kick-Off Workshop in #Bremen on April, 25th of our #DFG -funded project #OneSecure within the #SPP2253 : #NanoSecurity : From Nano-Electronics to Secure Systems gepris.dfg.de/gepris/projekt… AGRA Uni Bremen Sajjad Parvin DFG public | @[email protected] #security DFKI Data Science Center (@[email protected])
A Guide to Smart Contract Verification truscova.com/blog_article_8…
truscova #blockchain #verification #test ing #test #smartcontract #smartcontract s Muhammad Jalil Muhammad Hassan #truscova
Irgendwie verpasst man immer `was...
#noerdman #FOMO #JOMO #MOMO #WOMO #Informatik #SocialMedia Gesellschaft für Informatik e.V. Junge Gesellschaft für Informatik e.V. noerdman
How Close Are We to Commercial Quantum Computers? eetimes.eu/how-close-are-… EE Times | Electronic Engineering Times EE Times Europe #quantum #QuantumComputing #QuantumComputer
#HannoverMesse : „Deutschlands Chance liegt in spezialisierter KI für die Industrie“ wiwo.de/29760056.html?… #HM24 DFKI KI gestalten #KünstlicheIntelligenz
Interview in der Straßenbahn von #butenunbinnen zu KI butenunbinnen.de DFKI AGRA Uni Bremen Data Science Center (@[email protected]) #KünstlicheIntelligenz