CMU Computer Science Department @CSDatCMU
CSD's mission @ Carnegie Mellon is to lead in computer science research & education, pushing the frontiers of the field, resulting in real world impact. csd.cs.cmu.edu Pittsburgh, PA Joined June 2015-
Tweets4K
-
Followers8K
-
Following806
-
Likes5K
.@CyLab faculty and students will present on a wide range of topics at next month’s @NDSSSymposium in San Diego. Learn more about the @CarnegieMellon-affiliated accepted papers: cylab.cmu.edu/news/2025/01/2… #NDSSSymposium2025
In a @TIME article, Prof. David Brumley (@thedavidbrumley) of @CMU_ECE, @CSDatCMU, @MayhemSec shares strategies w/ @becca_schneid that consumers can use to protect themselves from scammers attempting to capitalize on the #CrowdStrike #Microsoft IT outage: time.com/7000925/crowds…
ICYMI: @FOCAL_lab member Emanuel Tewolde presenting on social choice for AI alignment at @icmlconf 2024! icml.cc/virtual/2024/p…
Für ihren Dissertation zur formal verifizierten Quantorenelimination bei Prof. André Platzer erhielt Katherine Kosaian den Bill McCune PhD Award 2024. Congratulations 💐
Need to solve PDEs, and struggle with meshing? Heard about "Walk on Spheres," but didn't know where to start? Check out the awesome intro course by @rohansawhney1 and @baileymmiller1, just posted from #SGP2024: youtube.com/watch?v=1u-5b4…
“Their code is buggy, and it was sitting there as a ticking time bomb.” Professor David Brumley (@thedavidbrumley) of @CMU_ECE, @CSDatCMU, and @MayhemSec speaks with @becca_schneid of @TIME about #CrowdStrike’s role in the #Microsoft IT outage: time.com/7000476/micros…
I'm extremely excited to launch Gray Swan with Matt Fredrikson, @andyzou_jiaming @DanHendrycks. Building upon years of research, we are developing automated assessments of AI systems as well as safer and more secure models. Come check out what we've built!
I'm extremely excited to launch Gray Swan with Matt Fredrikson, @andyzou_jiaming @DanHendrycks. Building upon years of research, we are developing automated assessments of AI systems as well as safer and more secure models. Come check out what we've built!
Congratulations to CSD PhD graduate Katherine Kosaian who has received the Conference on Automated Deduction (CADE) Bill McCune PhD Award for her dissertation “Formally Verifying Algorithms for Real Quantifier Elimination”. 🥳 sites.google.com/view/katherine… cadeinc.org/McCune-Award
Four SCS faculty, @nathanbeckmann, Aaditya Ramdas, @justinesherry and Virginia Smith have been named 2024 Sloan Research Fellows.
Four SCS faculty, @nathanbeckmann, Aaditya Ramdas, @justinesherry and Virginia Smith have been named 2024 Sloan Research Fellows.
We too are sad to learn of the death of one of our earliest Computer Science faculty and send our condolences to the family and friends of Gordon Bell. cs.cmu.edu/link/feature-s…
We too are sad to learn of the death of one of our earliest Computer Science faculty and send our condolences to the family and friends of Gordon Bell. cs.cmu.edu/link/feature-s…
If you are attending PLDI this year (in a month!), and if you have or anticipate an open position, either in academia or industry, full-time or part-time—you can now leverage PLMW to advertise that position. Sign up here for a lightning talk at by June 5: forms.gle/uHBQwzAmBR2GXL…
We are sad to hear of the passing of Gordon Bell, a pioneer in high-performance and parallel computing and the visionary behind the ACM Gordon Bell Prize. His dedication to innovation inspired countless breakthroughs. Our deepest condolences to his loved ones. #InMemoriam #HPC
Nice to see @CarnegieMellon on the list of Most Beautiful Colleges in America. :-) architecturaldigest.com/gallery/most-b…
Lenore Blum, a foundational researcher in computer science at @CarnegieMellon and a tireless advocate for women in math and science, has been elected to the American Academy of Arts & Sciences. cs.cmu.edu/news/2024/leno…
Congratulations to all of our 2024 graduates! 🎓🥳 🎉 SCS Commencement Schedule cs.cmu.edu/commencement/ Shuttle Schedules: cmu.edu/transportation… CMU Commencement Schedule cmu.edu/commencement/s…
Now, Later, and Lasting: 10 Priorities for AI Research, Policy, and Practice cacm.acm.org/opinion/now-la… @conitzer and co-authors on shaping the future of AI.
(1/2) Join us for the 2024 CMU Secure Blockchain Summit! Check out this year's tentative schedule, and sign up to request to attend this free event: bit.ly/cmu-secure-blo… @CyLab @CSDatCMU @CMU_ECE
Prof. @thedavidbrumley of @CMU_ECE and @CSDatCMU will present on Thursday, May 7 at the @RSAConference’s #RSA 2024 on the topic “Steering Clear of Danger: Decrypting the Realities of Remote Car Hacking.” Learn more about Prof. Brumley’s talk and register: rsaconference.com/USA/agenda/ses…

Andy Pavlo (@andypavl... @andy_pavlo
36K Followers 200 Following Associate Professor of Databases @CarnegieMellon.
Carnegie Mellon Unive... @CarnegieMellon
81K Followers 2K Following United by curiosity and driven by passion, we reach across disciplines, forge new ground and deploy our expertise to make real change that benefits humankind.
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
Zachary Lipton @zacharylipton
63K Followers 2K Following Cofounder & CTO: @AbridgeHQ, Professor: CMU/@acmi_lab, Creator: @d2l_ai & https://t.co/QQt98VNLUp, Relapsing 🎷
Animesh Garg @animesh_garg
29K Followers 1K Following Foundation Models for Generalizable Autonomy in Robotics. Assistant Professor in AI Robotics @GeorgiaTech. Prev @nvidia
Noam Brown @polynoamial
91K Followers 853 Following Researching reasoning @OpenAI | Co-created Libratus/Pluribus superhuman poker AIs, CICERO Diplomacy AI, and OpenAI o3 / o1 / 🍓 reasoning models
billions of packets @justinesherry
10K Followers 2K Following Computer person. I like middleboxes, systems, and Internets. Assistant Prof @ AS9. she/her, [email protected], @[email protected], 🇺🇲❤️🇵🇹
Shruti Rijhwani @shrutirij
6K Followers 546 Following * Research Scientist @GoogleDeepMind * #NLProc research * PhD from @LTIatCMU * Amateur woodworker, scuba diver, foosball player
Sydney Gibson 🚛 �... @sydgibs
3K Followers 318 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
Divyansh Kaushik @dkaushik96
6K Followers 3K Following Emerging tech and national security. Now DC, always Pittsburgh.
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.
Natasha Jaques @natashajaques
30K Followers 1K Following Assistant Professor @uwcse and Staff Research Scientist at @GoogleAI. Let's get off this app: https://t.co/jbH2oAjbPN
Jian Ma @jmuiuc
8K Followers 1K Following Ray and Stephanie Lane Professor of Computational Biology at CMU School of Computer Science @CMUCompBio @SCSatCMU @CarnegieMellon
Sara Hooker @sarahookr
49K Followers 9K Following I lead @Cohere_Labs. Formerly Research @Google Brain @GoogleDeepmind. ML Efficiency at scale, LLMs, ML reliability. Changing spaces where breakthroughs happen.
Sam Westrick @shwestrick
1K Followers 594 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
Shaily @shaily99
7K Followers 2K Following PhD @LTIatCMU. Prev: @allen_ai @GoogleAI @MSFTResearch. #NLProc. Often ranting about research.
CMU College of Engine... @CMUEngineering
15K Followers 1K Following We produce creative and technically strong engineers and research pioneering solutions to global challenges.
CMU Libraries @CMULibraries
2K Followers 492 Following All the Carnegie Mellon University Libraries news and info that's fit to tweet!
Aidan Yang @AidanZHYang
639 Followers 546 Following PhD student @CarnegieMellon || Previously @awsCloud, @MSFTResearch, @AMD and @Queensu 🇨🇦 || Researching software engineering, security, and deep learning
CMU School of Compute... @SCSatCMU
48K Followers 765 Following The School of Computer Science at @carnegiemellon is one of the world's premier institutions for computer science research and education.
Sultanul Arifin @arifin_nasif
6 Followers 113 Following A mere explorer of infinity in the pursuit of absolute perfection
Joey Chen @JoeyChen2914
0 Followers 44 Following
yanis @yanis8035124849
18 Followers 134 Following
Ahan Sengupta @Ahan_Sengupta18
0 Followers 12 Following
Jhin @JhinZerg
1 Followers 2K Following
David @David8515197219
6 Followers 207 Following
XU CHENFENG @ChenfengXu5122
2 Followers 35 Following
!.! @xypyth
47 Followers 4K Following
いまこうじこず... @imakoujiko40358
496 Followers 4K Following
Palm @Palm109818
2 Followers 51 Following
Rakan @Rakanx00
33 Followers 282 Following
Shreyas Kowshik @kowshik_shreyas
253 Followers 1K Following MSML @SCSatCMU | Prev. @ArthAlpha, @Microsoft, Procrastination @iitkgp | Progressive Metalhead and Keyboardist | Aspiring @naval
Leonardo Porpora | @n... @n0sign4l
231 Followers 1K Following
Kaji @kajilearn
5 Followers 61 Following
Md Ehtasham @mdehtasham114
0 Followers 17 Following
Ace Your CS Interview @AceCSInterview
8 Followers 449 Following 发誓助力一万名中国留学生在北美拿下理想码农岗位!我们提供全方位计算机科学面试辅导:涵盖数据结构与算法题高效刷题策略、OOP设计精讲、分布式与微服务架构实战、高并发高可用系统设计思路。课程结合北美一线科技公司真实面试流程与题型,帮助你从简历优化到技术深挖全面提升竞争力。无论你是应届毕业还是转码求职,我们都让你面试不再难。
Ziqian Zhong @fjzzq2002
619 Followers 460 Following AI interp & alignment @CSDatCMU, prev @MIT @pika_labs
James Alcorn @JamesAlcorn94
1K Followers 2K Following AI/infra at Lightspeed. Prev Zetta VC, Spectrum Equity, UCBerkeley 🇦🇺 🇺🇸
TienDat @TienDat011000
3 Followers 271 Following
wlg @wlg64737265
4 Followers 182 Following
Yue Yu @YueYu83280737
10 Followers 452 Following
Ahanaf Ariq @AhanafAriq
131 Followers 4K Following Deep Learning Theorist | Topological Data Analyst | IRPO 3rd | IYMC Bronze | Hessian Optimizer | Aspirant AI/ML Researcher
Opluivij @Opluivij28184
34 Followers 1K Following
Behrad Khezrzadeh @khezrzadehb
65 Followers 821 Following Dimensions of reality are but a construct of duality!
Ethan Wu🦋 @7086cmd... @7086cmd
157 Followers 243 Following (Past) Oxc & Rolldown member/collaborator. High-school student. Open-source enthusiast. Learning machine learning. Chinese-only alt: @ethan7086cmd.
ishaqsabo522 @ishaqsabo517755
2 Followers 61 Following
Antonio VC @antonio0VC
16 Followers 73 Following Finance student @ Tsinghua University Interested in tech and venture capital
Fiona Liu @FL334455
3 Followers 141 Following
Peahu @Peahu2905
12 Followers 1K Following
Ykisau @Ykisau349
36 Followers 1K Following
Rahel Jhirad @RahelJhirad
2K Followers 7K Following Founder, Imaginator ai knowledge discovery 2D navigation TS ML DL recsys econ math incentives mech design finance networks bridges boundaries, Time, 3d type
Kelton Turner @TurnerKelt69618
84 Followers 3K Following
Nirmal Patel / नि... @nirmalpatel_
684 Followers 2K Following Forever curious. EdTech nerd. Building technology for social good. Ethical AI will win!
Enrique Mejía Fontan... @emejiaf
215 Followers 3K Following RT o like son mis medios de comunicación pero no soy un bot solo me da amsiedad producir contenido
Wecea @Wecea7459
60 Followers 2K Following
Jin Xu @Valen6i_Xu
0 Followers 5 Following
Alex @Alex84770034
278 Followers 1K Following
Academic Publishing @Academic__Pub
275 Followers 2K Following Academic Publishing aims to providing the latest and advanced information of scientific research and academic publishing for worldwide experts.
Njabulo @Njabulo159878
44 Followers 1K Following
Jaridar kwallon kafa @MusaBello143642
0 Followers 15 Following Student 👩🎓 Right Authority of Nigeria🇳🇬 (SRAN)
Naouel Rouabah @Noella_rbh99
0 Followers 16 Following CS 👩🏻💻& midwife 👩🏻⚕️ Dum Spiro Spero🤍 Men kill pple..women kill society🤍
MeiLin @huijiajituan
4 Followers 386 Following
John Williams @JohnWillia57458
8 Followers 79 Following
The Grumpy SRE (rob) @grumpy_sre
32 Followers 399 Following All opinions are my own. | SRE @spring_health | 🦣 🏒 Fan | Racketeteer Imposter
Andy Pavlo (@andypavl... @andy_pavlo
36K Followers 200 Following Associate Professor of Databases @CarnegieMellon.
Carnegie Mellon Unive... @CarnegieMellon
81K Followers 2K Following United by curiosity and driven by passion, we reach across disciplines, forge new ground and deploy our expertise to make real change that benefits humankind.
Zachary Lipton @zacharylipton
63K Followers 2K Following Cofounder & CTO: @AbridgeHQ, Professor: CMU/@acmi_lab, Creator: @d2l_ai & https://t.co/QQt98VNLUp, Relapsing 🎷
Noam Brown @polynoamial
91K Followers 853 Following Researching reasoning @OpenAI | Co-created Libratus/Pluribus superhuman poker AIs, CICERO Diplomacy AI, and OpenAI o3 / o1 / 🍓 reasoning models
billions of packets @justinesherry
10K Followers 2K Following Computer person. I like middleboxes, systems, and Internets. Assistant Prof @ AS9. she/her, [email protected], @[email protected], 🇺🇲❤️🇵🇹
NeurIPS Conference @NeurIPSConf
139K Followers 36 Following Vancouver, Dec 10-15, 24. https://t.co/ga8aOw6yUO Tweets to this account are not monitored. Please send feedback to [email protected].
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Graham Neubig @gneubig
40K Followers 708 Following Associate professor @LTIatCMU. Co-founder/chief scientist @allhands_ai. I mostly work on modeling language.
Sydney Gibson 🚛 �... @sydgibs
3K Followers 318 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
Divyansh Kaushik @dkaushik96
6K Followers 3K Following Emerging tech and national security. Now DC, always Pittsburgh.
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.
Association for Compu... @TheOfficialACM
72K Followers 3K Following The world's largest professional organization advancing #computing as a science and profession. Also @mastodon.acm.org Likes & shares ≠endorsement
Mostly here now: @dav... @davidthewid
3K Followers 955 Following trying to help computer ppl think more critically about computer, including me artIG@davidthewid Postdoc@CornellTech. PhD@CMU,exNASA/MSR/IntelLabs.
Jian Ma @jmuiuc
8K Followers 1K Following Ray and Stephanie Lane Professor of Computational Biology at CMU School of Computer Science @CMUCompBio @SCSatCMU @CarnegieMellon
brogician @sivawashere
435 Followers 272 Following you're wrong about programming languages and i'm right
Sam Westrick @shwestrick
1K Followers 594 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
CMU College of Engine... @CMUEngineering
15K Followers 1K Following We produce creative and technically strong engineers and research pioneering solutions to global challenges.
CMU Libraries @CMULibraries
2K Followers 492 Following All the Carnegie Mellon University Libraries news and info that's fit to tweet!
Aidan Yang @AidanZHYang
639 Followers 546 Following PhD student @CarnegieMellon || Previously @awsCloud, @MSFTResearch, @AMD and @Queensu 🇨🇦 || Researching software engineering, security, and deep learning
Tian Li @litian0331
1K Followers 310 Following Assistant Professor @UChicagoCS @DSI_UChicago | PhD @CSDatCMU
Aviral Kumar @aviral_kumar2
5K Followers 355 Following Assistant Professor of CS & ML at @CarnegieMellon. Part-time Research Scientist Google. PhD from UC Berkeley.
IEEE Micro @ieeemicro
896 Followers 106 Following The magazine for microcomputer and microprocessor designers, system integrators, and users. Published bimonthly by the IEEE Computer Society
William (Bill) Sander... @RITPresident
772 Followers 346 Following Official Twitter account for William (Bill) Sanders, President of Rochester Institute of Technology
Matt Davis @infinimatt
97 Followers 127 Following Software Engineer. PhD student at CMU SCS. I like software that works that humans can use. SE, HCI, PL. Not a movie star (sorry). @[email protected]
Aditi Raghunathan @AdtRaghunathan
2K Followers 31 Following Assistant professor at CMU @SCSatCMU @CSDatCMU | Machine learning
Huan Zhang @huan_zhang12
358 Followers 69 Following Assistant Professor at University of Illinois Urbana-Champaign (UIUC). Research focuses on trustworthy machine learning and formal verification methods for AI.
Chris Donahue @chrisdonahuey
5K Followers 1K Following GenAI for *human* creativity in music + more. Assistant prof at CMU CSD, 🎼 G-CLef lab. Part time Google DeepMind, Magenta (views my own)
IEEE VIS @ieeevis
9K Followers 75 Following The premier forum for visualization advances for academia, government, and industry. We invite you to share your research, insights, and enthusiasm at IEEE VIS
Hugo Sadok @hugosadok
97 Followers 35 Following
CMU Cylab Crypto Semi... @cmucrypto
218 Followers 21 Following Twitter account for the CMU Cylab Crypto Seminar @SCSatCMU, sponsored by @AlgoFoundation.
Conviva @conviva
13K Followers 3K Following Find what others miss. Automated, actionable insights surfaced from unified experience, engagement, and system response.
Wan Shen Lim (@wslim.... @lmwnshn
276 Followers 275 Following capybara | current phd student @ CMU SCS | Brunei
Jay Bosamiya @jay_f0xtr0t
2K Followers 2K Following 🦊 Software security researcher. PhD from CMU. CTFer (PPP). | @[email protected] | https://t.co/l4yhLdJfp0
Eunsuk Kang @eskang09
612 Followers 922 Following Associate prof. @SCSatCMU, @S3DatCMU. Software engineering, formal methods, system design, safety, security.
Tom 7 @tom7
8K Followers 362 Following lexicographic NES AIs, alphabetical star wars, video games, fonts, album-a-day, expert mode running, chiptune, programming languages, etc.
CMU ETC Outreach and ... @cmuetcK12
151 Followers 161 Following CMU's Entertainment Technology Center is home to the future of interactive, educationally-focused experiences for students K-12+.
Sophia Roshal @RoshalSophia
309 Followers 159 Following BA in CS/Math from Cornell. PhD student @CSDatCMU Types are cool Opinions my own
miatang @Miamiamia0103
4K Followers 204 Following Incoming CS PhD student @Stanford / Prev: CS + Design @CarnegieMellon / comics on computer graphics topics (she/her)
ACM SIGOPS @ACMSIGOPS
3K Followers 433 Following Official account of ACM Special Interest Group in OPerating Systems (SIGOPS) managed by the team at https://t.co/GpGcuhWTVE
Majd Sakr @majdsakr
6 Followers 60 Following
Ian McCormack @icmccorm
148 Followers 220 Following PhD Candidate in Software Engineering @S3DatCMU. Studying Rust interop 🦀 https://t.co/VoicBkd8oA
Amber Horvath @AmberHorvath1
504 Followers 264 Following post-doc @MIT_CSAIL, prev. @cmuhcii, @google, @intel, @oregonstate. Studying developer sensemaking and information management
Bailey Flanigan @baileyflan
108 Followers 81 Following HDSI Postdoc at the Harvard Ash Center. Faculty at MIT joint between political science and CS starting Fall '25.
Catalina Vajiac @CatVajiac
82 Followers 156 Following PhD student at @SCSatCMU working on fighting human trafficking by analyzing online escort advertisements.
Minji Yoon @MinjiYoon90
2K Followers 316 Following Building personal AI @MicrosoftAI. Past: @InflectionAI, PhD @SCSatCMU.
João L Ribeiro @joaomlribeiro
364 Followers 1K Following Assistant Professor @istecnico. Previously @FCTNOVA @CSDatCMU @imperialcollege @CSatETH. I like codes and (pseudo)randomness.
POPL 2026 @poplconf
3K Followers 280 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Rennes, France, 11-17 January 2026 (#POPL2026). Tweets by @xnningxie
Zhengyang Geng @ZhengyangGeng
1K Followers 651 Following PhD student @SCSatCMU with @zicokolter / curiosity&love / dynamics to super intelligence
mizjodi @mizjodi
696 Followers 409 Following Herbert A. Simon Professor, HCII, and Associate Dean, Diversity, Equity, and Inclusion, Carnegie Mellon University
Jim Blakley @jimblakley
352 Followers 303 Following Driving the leading edge of edge computing through research and industry enablement.
Ariel Procaccia @ArielProcaccia
1K Followers 39 Following Professor of Computer Science at @Harvard.
Paul Gölz @paulgoelz
121 Followers 50 Following I think about democracy from a computer science perspective.
Goran Zuzic @zuza777
240 Followers 205 Following Research scientist at Google Research. (Formerly) Computer Science Theory @ Carnegie Mellon University. Postdoc @ ETH Zürich. Croatian 🇭🇷
Ken Holstein @d19fe8
2K Followers 798 Following HCI Prof @cmuhcii | ...now at https://t.co/2DGRG3mZmC
CMU Tech & Entreprene... @cmutehq
524 Followers 187 Following A community to connect and support the most ambitious @CarnegieMellon entrepreneurs and builders
Colin White @crwhite_ml
2K Followers 848 Following Evaluating generative AI models. Research Scientist at @MetaAI. Prev @abacusai, @SCSatCMU