Colin Gordon of Mastodon @csgordon
CS prof at Drexel. (He/him). Now mostly on Mastodon at @[email protected] and @[email protected] and @[email protected] cs.drexel.edu/~csgordon/ Philadelphia, PA Joined August 2008-
Tweets3K
-
Followers1K
-
Following3K
-
Likes40K
Don’t choose PhD programs by rankings—they may not be a good fit for you (& everyone applies there!) Instead, focus on potential advisors. How to find them? 1. Pick your top 20-40 favorite papers 2. Find the authors in academic positions 3. Apply to their schools Good luck!🍀
Dear MAGA, friends & family. RFK Jr. wants to immediately stop the development of new drugs for cancer, Alzheimers & other illnesses for eight years. Hope your family stays healthy. Is this what you signed up for when you voted?
The DoD linked Trump’s Defense Sec to extremists. 9 tribal security chiefs banned his Homeland Security chief from their homeland. Attorneys suspended the next AG’s law license & investigated him for sex crimes The anti-DEI folk sure like white affirmative action diversity hires
BREAKING: The Republican National Convention just announced their keynote speaker for tonight. It’s Project 2025’s lead author, Tom Homan. Make no mistake, Donald Trump’s Administration will implement Project 2025. Retweet so all Americans see this.
Kudos to the @PhillyInquirer editorial board for taking the media to the woodshed: "Apparently, it’s OK for Trump to spew nonstop nonsense, but Biden can’t ever lose his train of thought." inquirer.com/opinion/editor…
All three of the guys behind Project 2025 worked in the White House for Trump when he was president.
My PhD student is running a research study evaluating the quality of automatically-generated code comments. We're looking for participants to judge a number of #Python #comments on several quality measures. For more info & to participate: drexel.qualtrics.com/jfe/form/SV_3P…
Some shameful, cowardly, and unacceptable shit right here.
My theory — Purdue CS denied me tenure because of its shallow, insecure view of scholarship, deep dysfunction and pettiness, apathetic PL leadership, culture of silence, and, yes, sexism. It has taken me a while to call this out; I am speaking up because someone should.
My theory — Purdue CS denied me tenure because of its shallow, insecure view of scholarship, deep dysfunction and pettiness, apathetic PL leadership, culture of silence, and, yes, sexism. It has taken me a while to call this out; I am speaking up because someone should.
This practice is unethical--it's pay to publish (and not even for open access). If a student is presenting they should pay only the student registration. Do better @ICSEconf!
Apparently Outlook has a timing-dependent bug where if you (i.e., me) look at your (i.e., my) notifications on Android, some emails disappear from your inbox? This definitely happened to at least 2 emails I got notifications for, so if you emailed me please try again and/or DM 🤦
Apparently Outlook has a timing-dependent bug where if you (i.e., me) look at your (i.e., my) notifications on Android, some emails disappear from your inbox? This definitely happened to at least 2 emails I got notifications for, so if you emailed me please try again and/or DM 🤦
@PLDI'23 is looking for artifact evaluation committee members - please help our colleagues with this great reproducibility effort! #artifactevaluation #reproducibility
@PLDI'23 is looking for artifact evaluation committee members - please help our colleagues with this great reproducibility effort! #artifactevaluation #reproducibility

Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Alastair Donaldson @afd_icl
3K Followers 430 Following Professor of Programming Languages at Imperial College London
Alexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5
Jeremy Siek @jeremysiek
3K Followers 352 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Steve Blackburn (@ste... @stevemblackburn
2K Followers 900 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVX
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Ningning Xie @xnningxie
4K Followers 308 Following Having fun with types! @UofTCompSci @GoogleDeepMind
Guannan Wei @GuannanWei
1K Followers 960 Following Postdoc at INRIA/ENS Paris; Incoming Assistant Prof in CS @TuftsUniversity; Ex @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social
Max ⊶ New @maxsnew@... @ProfMaxNew
1K Followers 208 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
Ordreiser @Ordreiser5427
34 Followers 711 Following love is to let go and give you all the blue sea and blue sky.
Fweejus @Fweejus5225142
17 Followers 1K Following
Leace @Leace7036
11 Followers 1K Following
Galvatron @mattjg908
177 Followers 280 Following Software developer, wrencher of motorcycles, powerlifting, fast running, gymnastic high jumper.
Zella @Zella1276759
35 Followers 3K Following
reserved @reserved932924
57 Followers 4K Following
Vinod Grover @vinodg
3K Followers 1K Following Sr Distinguished Engineer @nvidia. Compilers, CUDA C++, PL, Machine Learning and Systems. tweets and opinions are personal.
Document Database Com... @DocDatabaseCom
5K Followers 4K Following We talk about technology challenges, assist in the emergence and development of techniques, popularize solutions in the document database space.
Dara @dara_tourt
13 Followers 8K Following
Bill Pugh @wpugh
2K Followers 2K Following Professor, software developer, maker, mentor, fire eater. Pronouns: he, him, his.
Mikolas Janota 🇵�... @JanotaMikolas
143 Followers 421 Following Computer Science researcher, automated reasoning enthusiast.
wallingf @wallingf
1K Followers 197 Following I'm a CS professor at a medium-sized public university, interested in most things about programs, and most other things, too. @[email protected]
Natalia @JoleneJest83521
61 Followers 2K Following Having a calm smile to face with being disdained indicates kind of confidence.
Willette @niikawarin94174
82 Followers 7K Following
Loati @LoatikbQ
61 Followers 2K Following
Journal of Systems an... @JSSoftware
2K Followers 212 Following Journal of Systems and Software. 3rd ranked Systems venue (see https://t.co/SsziKIp5Vb). Handling 1000+ submissions per year.
Omprakash Om @Om1prakash
246 Followers 3K Following || A speck of dust in this universe || Meditation, RAKs & kindness, #Read life changing #blog on: https://t.co/8iwUb8F0XE Software Engineer.
Faishal manzar @faishalmanzar
7 Followers 586 Following Tech Enthusiast 🚀 | Exploring LLMs 🤖 | Building for Fun 🛠️ | Freelance Innovator 💻
Jocelyn Qiaochu Chen @jocelynqchen
662 Followers 331 Following PhD @UTCompSci. Faculty Fellow @NYU_Courant (2024-2025). Incoming Faculty @UAlberta (as soon as I get the work permit). I do research on program synthesis.
DoraJonson @pSg6AVJokbrB0P
71 Followers 7K Following
Nourke @Nourke332
65 Followers 7K Following
Chandrakana Nandi @ChandrakanaNaN
615 Followers 212 Following Director of US R&D, Certora Inc. Affiliate faculty, Allen School, UW, Seattle
Trirtea @Trirtea1f3
31 Followers 918 Following
sunflower @sunflower732622
39 Followers 4K Following
Pari @Pari73766
32 Followers 3K Following
Khalid Alshehri @KhalidAlshehriR
4 Followers 83 Following
Jin Hongchao @7007jhc
4 Followers 149 Following
LOL@TXwitterFASCIST @stphrolland
881 Followers 7K Following I am Earthling-European ⁂⧖⏚ #NotMyHumanity Anti-Science of Fascist Human-Apes= We are the best, all the others are fools, let's shut their mouth, muhuhahaha !!
ajay singh @aajayssingh1
41 Followers 334 Following PhD @UWCheritonCS. Area: #ConcurrencyTheory#ConcurrentSystems. Wrote code @SamsungResearch and attempted security and privacy research @TCSResearch.
Andrea Lattuada @utaal
545 Followers 469 Following Systems software and first order logic. PhD from @SystemsGroupETH, then @vmwareresearch, from September: Research Group Leader at MPI-SWS.
Tristan Snell @TristanSnell
579K Followers 232K Following Lawyer, commentator, fighter for democracy. Prosecuted Trump University @ NY AG. Substack: https://t.co/9iRTNuAbIH. Host of the Tristan Snell Show on Apple + Spotify.
Alexandra Silva @alexandra8silva
2K Followers 869 Following Computer scientist, loves traveling and food tasting!
Xuejing, aka Snow @hxjxsnow
402 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
Italo Santos @Italo_07
374 Followers 1K Following Software Engineer, QA Automation Tester, Master in Software Engineer USP; Researching testing, software engineering, empirical software engineering.
Will Hawkins @hawkinsw
1K Followers 3K Following he/him/his. Trying to do the right thing in spite of my obvious limitations.
HOSEIN YAVARZADEH @hosein_yz
454 Followers 1K Following PhD Candidate @ucsd_cse | Research Intern @Qualcomm and @Google | CPU/µArch Security, Side Channels, TEE Security
Seasea @Seasea852084
82 Followers 7K Following
Shuvendu Lahiri @LahiriShuvendu
206 Followers 364 Following Sr Principal Researcher @RISE_MSR, @MSFTResearch. Works in the intersection of programming languages, software engineering and artificial intelligence.
Conor Power @conor_power23
2K Followers 699 Following PhD student @BerkeleySky + https://t.co/jDsPgbj1nT. Former senior SWE on Microsoft Cosmos. Databases 🐘 and distributed systems 🕰️ with some theory 🧮 thrown in.
Peng Cheng, asking λ... @tribbloid
488 Followers 416 Following doubling down on Scala ♨️ and Apache Spark 🌟 for ML ∇, provers ∀ & swarms 🐝. maintainer of shapesafe, spookystuff and splain plugin
beike @beikejun07
32 Followers 2K Following
Sami Hadouaj @SHadouaj
31 Followers 298 Following PhD Candidate in Computer and Information Science @umich
DONUTS CCI @DONUTSColab
16 Followers 111 Following The Data, Ontology, Networks, Usability, Textuality, and Safety (DONUTS) Collaborative @DrexelCCI in #HCI #NLP #SocialComputing #CSCW #STS
Chad Brewbaker @SMT_Solvers
2K Followers 2K Following Any sufficiently advanced technology is indistinguishable from magic. - Arthur C. Clarke
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Alastair Donaldson @afd_icl
3K Followers 430 Following Professor of Programming Languages at Imperial College London
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
Peter O'Hearn @PeterOHearn12
1K Followers 117 Following Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Fred Wellman @FPWellman
351K Followers 5K Following Democracy advocate. Army combat vet. Host of @OnDemocracyPod on @meidastouch and 'Too Late To Cancel.’ Didn’t pay Elmo
SLE Conference @sleconf
786 Followers 160 Following ACM SIGPLAN International Conference on Software Language Engineering
Chandrakana Nandi @ChandrakanaNaN
615 Followers 212 Following Director of US R&D, Certora Inc. Affiliate faculty, Allen School, UW, Seattle
Andrea Lattuada @utaal
545 Followers 469 Following Systems software and first order logic. PhD from @SystemsGroupETH, then @vmwareresearch, from September: Research Group Leader at MPI-SWS.
Saikat Chakraborty @saikatch107
380 Followers 306 Following Sr. Researcher @RiSE_MSR, Ph.D. from @ColumbiaCompSci - #SEResearcher, #ML, Source Code, Software Engineer. Interned @fujitsulabs, @googlecloud @facebook
Shuvendu Lahiri @LahiriShuvendu
206 Followers 364 Following Sr Principal Researcher @RISE_MSR, @MSFTResearch. Works in the intersection of programming languages, software engineering and artificial intelligence.
Alex Boruch-Gruszecki @abgruszecki
74 Followers 81 Following Postdoc in Arjun Guha's group, investigating how AI and our understanding of programming languages can help build the future of programming
*SEM 2024 @_starsem
365 Followers 90 Following The 13th Joint Conference on Lexical and Computational Semantics. 16 June 2024
(((Aperols for Aureli... @pictureofitself
572 Followers 111 Following October 8th Jew. I tell computers what to do.
Chris Henson @_chenson__
862 Followers 3K Following CS PhD student @DrexelCCI working on categorical semantics in Lean. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
Emiel van Miltenburg @evanmiltenburg
2K Followers 570 Following Assistant professor in computational linguistics at Tilburg University - working on NLG/#nlproc/ethics. https://t.co/K9j9nEclR8
Dr Marc Olivier-Loise... @loiseaulivier
2K Followers 1K Following Lecturer in Linguistics @UniofOxford | 👎🏻 lost interest in Twitter since it’s X
Gary Thoms @garysthoms
831 Followers 818 Following asst prof in linguistics at NYU, specialising in syntax; originally from Glasgow; we made an atlas: https://t.co/mBXCz437mx; used to DJ, badly
Matt Spike @matspike
3K Followers 3K Following Language/CogSci/Evolution: complexity, conventionality, information etc. @[email protected] @matspike.bsky.social
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Jessy Li @jessyjli
4K Followers 995 Following Associate Professor @UT_Linguistics, computational linguistics and #NLProc
Kyle Mahowald @kmahowald
2K Followers 718 Following UT Austin computational linguist. cognition, psycholinguistics, data, NLP, crosswords.
"Hamilton Standard" P... @_Thrill_House_
1K Followers 1K Following "Take care of Freedom and Truth will take care of itself." Ph.D. student in phil/formal epistemology at CMU Find me at @thrill-house.bsky.social he/him
Brianna Wu @BriannaWu
171K Followers 8K Following Former Candidate for US House in MA. Software engineer. Like to go fast. 🏎🏍🏃🏻♀️🎮 [email protected]
GrapheneOS @GrapheneOS
80K Followers 0 Following Open source privacy and security focused mobile OS with Android app compatibility. Forum, Discord, Telegram, Matrix: https://t.co/C0RaJbZosj
BigCode @BigCodeProject
9K Followers 3 Following Open and responsible research and development of large language models for code. #BigCodeProject run by @huggingface + @ServiceNowRSRCH
OBS @OBSProject
312K Followers 100 Following Open Broadcaster Software, free open source software for video recording & live streaming | News & Updates | For support, visit: https://t.co/QIGrhkuNlL
@[email protected]... @kdenlive
2K Followers 17 Following Free and Open Source video editing program made by the KDE community.
Jason Eisner @adveisner
8K Followers 558 Following Professor of CS at Johns Hopkins University, ACL Fellow. My tweets speak only for me.
@[email protected] | ... @sunshowers6
1K Followers 273 Following This account is dead. Find me on https://t.co/DKQ2hz3ClP or Mastodon at @[email protected]
D @dbp__
298 Followers 0 Following
Giulia Guidi @giuliaguidi
2K Followers 591 Following @CornellCIS Assistant Professor | @LBNLcs Affiliate Faculty | @UCBerkeley PhD | Distributed & Parallel Computing (HPC) | Dogs, Skis, Pottery | she/her
Christopher Manning @chrmanning
151K Followers 228 Following Director, @StanfordAILab. Assoc. Director, @StanfordHAI. Founder, @stanfordnlp. Prof. CS & Linguistics, @Stanford. IP @aixventureshq. 🇦🇺 Do #NLProc & #AI. 👋
Justine Frank @justineeefrank
304 Followers 229 Following Real PL person. Like translating symbols into different symbols (semantics may or may not be preserved). PhD student at @plumlab. Previously at @ubc_spl
Noah Van Es @noahvanes
28 Followers 106 Following PhD Student Computer Science @ @softlab_brussel. Interested in fundamental PL topics; research into program analysis through abstract interpretation.
Lara J. Martin | @lar... @LangTechLara
1K Followers 1K Following Teaching computers to tell stories, play D&D, and help people talk. Assistant Prof @UMBC. Tweet about 👩💻🤖🐕👩🏫🏳️🌈🎮♿. Tweets are my own brain vomit.
Lucas Champollion @champoll
848 Followers 152 Following Associate professor of linguistics at NYU. Researching nat.lg. semantics. Teaching semantics and language technology. Co-developer of https://t.co/w1km00BhnJ
Julio Merino @jmmv
3K Followers 935 Following Operating systems, build systems, and programming languages. Mostly Unix, Bazel, and Rust. Author of Blog System/5. Creator of EndBASIC, and more.
Shane McIntosh @shane_mcintosh
2K Followers 773 Following Software engineering researcher, Leader of the @SoftwareREBELs, Associate Professor at @UWaterloo
Rachael Bade @rachaelmbade
124K Followers 3K Following POLITICO Capitol Bureau Chief & Senior Washington Columnist . ABC contributing political correspondent. Recovering Playbook author. Mom. IVF survivor.
Nick Rioux @nickrioux
298 Followers 864 Following @[email protected] CS grad student in programming languages at Penn Former @neu_prl undergrad
Eric Griffis @dedbox
240 Followers 1K Following intrepid metaprogrammer with an audacious vision :: PL PhD student @umichcse :: hobby photographer
Dr. Sarah M Brown @BrownSarahM
1K Followers 2K Following Assistant Professor of Computer Science | @alumniNU | @nsbe Lifetime Member | @theCarpentries instructor & trainer
JHU CLSP @jhuclsp
7K Followers 6K Following Center for Language and Speech Processing at @JohnsHopkins #NLProc #MachineLearning #AI https://t.co/6IXR5OSQtw @[email protected]
Guy Emerson is on Mas... @AngloPeranakan
317 Followers 444 Following Computational semanticist at the University of Cambridge. I am on Mastodon: @[email protected] Lú chia̍h-pá--bōe?
Daniel Altshuler @DaniilAltshuler
596 Followers 662 Following Professor of Semantics and Pragmatics @UniofOxford/ @JesusOxford/@BrasenoseNews. Using this account in tandem with @Dr_Semantic
@[email protected]... @JoeOsborn
415 Followers 341 Following Ass’t Prof. of Computer Science at Pomona. Videogames, formal methods, symbolic AI. As a rule, I won’t follow current 5C students. He/him. Black Lives Matter.
The Problem With Jon ... @TheProblem
234K Followers 3 Following All episodes of season 2 now streaming on @appletv