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
30K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Zachary Lipton @zacharylipton
64K 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. Reinforcement Learning. Assistant Professor in AI Robotics @GeorgiaTech. Prev @nvidia
Noam Brown @polynoamial
92K Followers 859 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
7K Followers 556 Following * Research Scientist @GoogleDeepMind * #NLProc research * PhD from @LTIatCMU * Amateur woodworker, scuba diver, foosball player
Sydney Gibson 🚛 �... @sydgibs
3K Followers 317 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
31K 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
50K 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
638 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 764 Following The School of Computer Science at @carnegiemellon is one of the world's premier institutions for computer science research and education.
Yfuipal @Yfuipal389706
1 Followers 387 Following
: ) @0_oo_OO_00_o
5 Followers 136 Following
Wuhuang Yao @WuhuangY18732
9 Followers 79 Following
certified sleepy boy @bertburtbert
224 Followers 3K Following 👨🏾💻 software engineer @microsoft that has no control over the product roadmap @Xbox PC Gaming. Here for the lols. Thoughts are my own :) GT: bertburtbert
Shashwat Gupta @ShashwatGupta23
80 Followers 1K Following AI Guy; loving my time at Microsoft Research.
Hitesh Nagar @hiteshx_nagar
12 Followers 103 Following
YAHAYA DAHIRU @Dah81087Yahaya
2 Followers 37 Following
SAFIYANU & CO. GRAPHI... @IdrisSafiyanu86
38 Followers 544 Following GRAPHICS DESIGN Such as: Logos, Flyers, Branding, Banners, and Poster's Etc.
a08. @current00123
0 Followers 554 Following
mehr_baloch @saeed_saji35106
1 Followers 24 Following دل ءِ ابیتکیانی گاریں کِشک رہگزر کتک منارا مدتے کہ من گوں ساہگ ءَ سفر کتگ #مبارک_قاضی
Jingtong Yue @yujngtng229817
3 Followers 96 Following
Chiyu_1122 @1122Chiyu29953
5 Followers 252 Following
noname @shuy1ngw
0 Followers 9 Following
BobDole69 @SausageVendor33
2 Followers 86 Following
Nhat-Hao Tran-Ly @TranLyNhatHao
18 Followers 341 Following I aspire to contribute to the development of technology to serve practical purposes and create a lasting impact.
Wenqing @_wenqing_wang_
48 Followers 232 Following CS PhD Candidate @Northeastern| Research Intern @Samsung | Generative AI, LLM&VLM, Multi-Modal Generation, Diffusion, Neural Rendering | Aggied @UCDavis
Muhammad Naqi @Muhammad_Naqi12
114 Followers 700 Following / IT Student / Media Editor / Programmer / Social Activist / Scout / Imamian /
Sultanul Arifin @arifin_nasif
6 Followers 117 Following A mere explorer of infinity in the pursuit of absolute perfection
Joey Chen @JoeyChen2914
0 Followers 44 Following
yanis @yanis8035124849
12 Followers 133 Following
Ahan Sengupta @Ahan_Sengupta18
0 Followers 12 Following
Jhin @JhinZerg
1 Followers 2K Following
David @David8515197219
9 Followers 206 Following
XU CHENFENG @ChenfengXu5122
0 Followers 35 Following
!.! @xypyth
56 Followers 5K Following
Palm @Palm109818
2 Followers 56 Following
Rakan @Rakanx00
34 Followers 280 Following
Shreyas Kowshik @kowshik_shreyas
255 Followers 1K Following MSML @SCSatCMU | Prev. @ArthAlpha, @Microsoft, Procrastination @iitkgp | Progressive Metalhead and Keyboardist | Aspiring @naval
Leonardo Porpora | @n... @n0sign4l
230 Followers 1K Following
Kaji @kajilearn
5 Followers 61 Following
Md Ehtasham @mdehtasham114
0 Followers 17 Following
Ace Your CS Interview @AceCSInterview
15 Followers 469 Following 发誓助力一万名中国留学生在北美拿下理想码农岗位!我们提供全方位计算机科学面试辅导:涵盖数据结构与算法题高效刷题策略、OOP设计精讲、分布式与微服务架构实战、高并发高可用系统设计思路。课程结合北美一线科技公司真实面试流程与题型,帮助你从简历优化到技术深挖全面提升竞争力。无论你是应届毕业还是转码求职,我们都让你面试不再难。
Ziqian Zhong @fjzzq2002
631 Followers 471 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 269 Following
wlg @wlg64737265
3 Followers 182 Following
Yue Yu @YueYu83280737
11 Followers 466 Following
Ahanaf Ariq @AhanafAriq
131 Followers 4K Following Deep Learning Theorist | Topological Data Analyst | IRPO 3rd | IYMC Bronze | Hessian Optimizer | Aspirant AI/ML Researcher
Behrad Khezrzadeh @khezrzadehb
69 Followers 842 Following Dimensions of reality are but a construct of duality!
Ethan Wu🦋 @7086cmd... @7086cmd
157 Followers 244 Following (Past) Oxc & Rolldown member/collaborator. High-school student. Open-source enthusiast. Learning machine learning. Chinese-only alt: @ethan7086cmd.
ishaqsabo522 @ishaqsabo517755
4 Followers 73 Following
Antonio VC @antonio0VC
17 Followers 72 Following Finance student @ Tsinghua University Interested in tech and venture capital
Fiona Liu @FL334455
2 Followers 145 Following
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
64K Followers 2K Following Cofounder & CTO: @AbridgeHQ, Professor: CMU/@acmi_lab, Creator: @d2l_ai & https://t.co/QQt98VNLUp, Relapsing 🎷
Noam Brown @polynoamial
92K Followers 859 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
141K Followers 39 Following San Diego Dec 2-7, 25 and Mexico City Nov 30-Dec 5, 25. 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 709 Following Associate professor @LTIatCMU. Co-founder/chief scientist @allhands_ai. I mostly work on modeling language.
Sydney Gibson 🚛 �... @sydgibs
3K Followers 317 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 953 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
434 Followers 271 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
638 Followers 546 Following PhD student @CarnegieMellon || Previously @awsCloud, @MSFTResearch, @AMD and @Queensu 🇨🇦 || Researching software engineering, security, and deep learning
Tian Li @litian0331
1K Followers 311 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
898 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
783 Followers 347 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
3K Followers 31 Following Assistant professor at CMU @SCSatCMU @CSDatCMU | Machine learning
Huan Zhang @huan_zhang12
360 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
217 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
609 Followers 920 Following Associate prof. @SCSatCMU, @S3DatCMU. Software engineering, formal methods, system design, safety, security.
Tom 7 @tom7
8K Followers 364 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
149 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
310 Followers 159 Following BA in CS/Math from Cornell. PhD student @CSDatCMU Types are cool Opinions my own
miatang @Miamiamia0103
4K Followers 206 Following 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
147 Followers 221 Following PhD Candidate in Software Engineering @S3DatCMU. Studying Rust interop 🦀 https://t.co/VoicBkd8oA
Amber Horvath @AmberHorvath1
501 Followers 263 Following post-doc @MIT_CSAIL, prev. @cmuhcii, @google, @intel, @oregonstate. Studying developer sensemaking and information management
Bailey Flanigan @baileyflan
109 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 338 Following LLM research @MicrosoftAI. Past: @InflectionAI, PhD @SCSatCMU.
João L Ribeiro @joaomlribeiro
363 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
695 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
252 Followers 214 Following Research scientist at Google Research. (Formerly) Computer Science Theory @ Carnegie Mellon University. Postdoc @ ETH Zürich. Croatian 🇭🇷
Ken Holstein @d19fe8
2K Followers 792 Following HCI Prof @cmuhcii | ...now at https://t.co/2DGRG3mZmC
CMU Tech & Entreprene... @cmutehq
526 Followers 186 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