Roberto Giacobazzi🇮🇹🇺🇸🇫🇷⛳️🌵
@rgiacobazzi
Professor of Computer Science: Theory of computation, computers, languages and their semantics
ID: 341618375
https://www.cs.arizona.edu/person/roberto-giacobazzi 24-07-2011 17:31:38
1,1K Tweet
824 Followers
652 Following
Nate Foster
@natefoster
professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Cory Booker
@corybooker
U.S. Senator from New Jersey. Most tweets (and typos) are mine, some are my team’s.
Sam Tobin-Hochstadt
@samth
Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Taylor Swift
@taylorswift13
All’s fair in love and poetry... New album THE TORTURED POETS DEPARTMENT. Out now 🤍
Neha
@neharungta
Applied Science Director, AWS @[email protected]
Saturday Night Live - SNL
@nbcsnl
The official X of Saturday Night Live
Luca Bizzarri
@lucabizzarri
Nasce a Genova nel 1971, si diploma al Teatro Stabile, fa l'attore, il presentatore, ha una meravigliosa scuola di teatro, danza, canto. Non so se mi spiego.
National Park Service
@natlparkservice
What’s #YourParkStory?
Noah Garfinkel
@noahgarfinkel
Writer -- Single Parents, President Show, New Girl, Kroll Show, Workaholics. On Bluesky with the same handle.
Andrew Myers
@andrewcmyers
Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.
Radio Radicale
@radioradicale
Conoscere per deliberare - Dal 1976 l'archivio della democrazia
Università di Verona
@univerona
Università degli Studi di Verona - Profilo Ufficiale | Social media d'Ateneo univr.it/social
Derek Dreyer
@herrdreyer
Get used to disappointment.
Loris D'Antoni
@lorisdanto
A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Julien Vanegue
@jvanegue
CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network verification at world scale.
SPLASH Conference
@splashcon
SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2025 #SPLASH25
Nino Cartabellotta
@cartabellotta
Medico siculo a Bologna, presidente @GIMBE, padre di 3 figli. Divulgo evidenze scientifiche, difendo sanità pubblica e diritti civili. Amo cucina, verde e mare.
Kristopher Micinski
@krismicinski
@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.
Gabrielius Landsbergis🇱🇹
@glandsbergis
Escalation management consultant. Values-based policy advocate. Founder of Friends of Democracy. Former Foreign Minister of Lithuania. landsbergis.com
kate conger
@kateconger
writing about this website for @nytimes. tell me stories: [email protected]. tour dates and more: linktr.ee/kateconger
Marco Travaglio
@marcotravaglio
Direttore de ‘Il Fatto Quotidiano’
Pina Picierno
@pinapic
Vicepresidente @Europarl_EN | Mep @pdnetwork @TheProgressives
Garry Kasparov
@kasparov63
VP of @WLCongress. Chair of @Renew_Democracy, board of @HRF. Activist, author, speaker, 13th World Chess Champion. Substack: shorturl.at/PutUK
Presa Diretta
@presa_diretta
Account ufficiale di #PresaDiretta il programma d'inchiesta condotto da @IaconaRiccardo. 📌 Domenica alle 20.35 su @RaiTre e @RaiPlay.
Luciano Capone
@lucianocapone
Giornalista @ilfoglio_it. In libreria con “Superbonus - Come fallisce una nazione”, scritto con @CarloStagnaro: amzn.to/4hMUnBg
francesca mannocchi
@mannocchia
in libreria con Bianco è il colore del danno, Einaudi
Stefania Battistini
@stefaniabattis4
Journalist Tg1, Rai, Italy ___________“Una guerra ingiusta. Ritratti dall’Ucraina sotto le bombe” Ed. Piemme Mondadori
rem
@remyjck
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Cosimo - Mirigliano - Libri - Scrittore In Prova
@cosimimiriglian
Quando non hai + voglia di disegnare grattacieli metti giù la matita e inizi con la storia di un nuovo personaggio. amzn.to/3q76s8Y lc.cx/DYkbOm
Jonathan Aldrich
@jaldrichpl
Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (noteful.net). He/him. Views are mine.
Otto e Mezzo
@ottoemezzotw
#ottoemezzo Il programma di Lilli Gruber, in onda alle 20:30 dal lunedì al venerdì su @La7tv.
Carlo Calenda
@carlocalenda
Segretario di Azione. Senatore della Repubblica. "Il Patto. Oltre il trentennio Perduto": amzn.eu/d/iwQm8P4
Formal Methods Europe
@formalmtds
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Zijie Wang
@zijie_wang_nlp
PhD candidate in CS at University of Arizona (@uarizona) | NLP Researcher @labclu
Senator Ruben Gallego
@senrubengallego
Proud United States Senator from Arizona. Husband. Father. Veteran.
Luca Aceto
@aceto_luca
Laure Gonnord
@l_gonnord
Enseignante-Chercheuse en Informatique, sur le départ de twitter
Dominik Winterer
@dominikwinterer
PostDoc @ETH Zurich | Making Formal Methods better and more practical
CAV
@confcav
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @ferhaterata & @frenkel_hadar. Use #cav25
Andrea Beduschi
@andreabeduschi
💬 𝗦𝗠𝗠 | 👨🏫 𝗠𝗮𝗲𝘀𝘁𝗿𝗼 | ✍️ 𝗦𝘁𝗼𝗿𝘆𝘁𝗲𝗹𝗹𝗲𝗿 𝐴𝑐𝑐𝑒𝑛𝑑𝑜 𝑖𝑑𝑒𝑒, 𝑐𝑟𝑒𝑜 𝑐𝑜𝑛𝑛𝑒𝑠𝑠𝑖𝑜𝑛𝑖 ✨
ETAPS Conferences (now on other platforms)
@etapsconf
We aren't here; find us on BlueSky, Mastodon, Facebook or Linkedin. Or in person, at ETAPS 2025: May 3–8, Hamilton, Canada
Ethan Evans
@ethanevansvp
Retired Amazon VP (70+ patents; 1,000+ hires; led global teams of 800+; 15+ years at Amazon). Now Training Leaders to become True Executives.
Marcel Böhme👨🔬
@mboehme_
Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: mpi-softsec.github.io
Dominik Tornow
@dominiktornow
Founder @resonatehqio | Distributed Async•Await | Thinking in Distributed Systems | dtornow225.substack.com
Tom Gur
@tomgur
Professor @Cambridge_Uni. My research is in Theoretical Computer Science and Quantum Computing.
Peter O'Hearn
@peterohearn12
Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Federico Gallo
@federic34168787
Intellettualmente curioso,mi ingegno ed opero per lo sviluppo dell'economia della conoscenza qui solo opinioni personali #Univr#Universita'#PA #Istruzione🇮🇹
Jules Jacobs
@julesjacobs5
@[email protected]
Luigi Capogrosso
@l_capogrosso
Ph.D. in Artificial Intelligence.
suishield
@suimcafee
Blockchain developer focused on enhancing security in decentralized networks. Creator of SuiShield, a real-time antivirus solution on the Sui blockchain.
Haoyu Wu
@chriswuyyy
Static Analysis Symposium
@symposiumsas
31th International Static Analysis Symposium, co-located with @splashcon #SAS2024
Yudai Urabe（占部）
@yudai_urabe
Research student @ Tokyo Tech, Japan/Programming Languages, Formal Methods/History of Computer Science/Othello,📖,🎱,🎤,🚶emoji🥳😤🌊
Maria Christakis
@mchri5taki5
professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!
Avaljot Singh
@singhasavaljot
CS PhD student @ UIUC • Neural Network Verification, Programming Languages Research
Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Grégoire Menguy
@grmenguy
Cybersecurity researcher at @BinsecTool @CEA_List #ArtificialIntelligence for code analysis from #deobfuscation to precondition inference | #ReverseEngineering
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Melania Trump 45 Archived
@flotus45
This is an archive of a Trump Administration account, maintained by the National Archives and Records Administration.
President Trump 45 Archived
@potus45
This is an archive of a Trump Administration account, maintained by the National Archives and Records Administration.
Adrian Herrera
@0xadr1an
Security researcher with a penchant for functional programming. Building fuzzers @InterruptLabs. PhD @ANUComputing + @HexHiveEPFL.
Propaganda Live
@welikeduel
Twitter ufficiale di Propaganda Live, il programma di e con @zdizoro. Tutti i venerdì in prima serata su @La7tv.
NOMA
@knoma10_eng
Infosec and medicalinfo enthusiast/machine learning poisoning/reverse engineering/malware analysis/CTF:Harekaze/seccamp2016
Mooly Sagiv @ NYU
@sagivmooly
CEO of @CertoraInc and a chair of software systems at @TelAvivUni
Dong Chen
@jameschennerd
Passionate about simplifying/automating programming. Happy to learn anything that serves this purpose: compilers, semantics, synthesis, LLM & more?