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
-
Following804
-
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
Welcome to all our new and returning students. Hope it was a great 1st day back to classes for F24!
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 💐
Surreal hearing about all of the disruptions to medical care and transportation today. A modern society needs our hospitals, planes, and trains! Good reminder of just how much software has come to run our lives—and how beholden we are to even tiny, subtle software bugs.
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 @hendrycks. 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!
Today, we're stepping out of stealth mode to introduce Gray Swan AI, your safety and security provider for the AI era. 🌐 Press Release: grayswan.ai/news/gray-swan…
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.
We have today announced the names of the 2024 Sloan Research Fellows! Congratulations to these 126 outstanding early-career researchers: sloan.org/fellowships/20…
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 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
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
40K Followers 206 Following Associate Professor of Databases @CarnegieMellon.
Carnegie Mellon Unive... @CarnegieMellon
83K 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
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Zachary Lipton @zacharylipton
66K Followers 2K Following Professor: CMU/@acmi_lab, Cofounder: @AbridgeHQ, Creator: @d2l_ai & https://t.co/QQt98VNLUp, Relapsing 🎷
Noam Brown @polynoamial
134K Followers 915 Following Researching reasoning @OpenAI | Co-created Libratus/Pluribus superhuman poker AIs, CICERO Diplomacy AI, and OpenAI o-series 🍓 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 584 Following * Research Scientist @GoogleDeepMind * #NLProc research * PhD from CMU
Sydney Gibson 🚛 �... @sydgibs
2K Followers 314 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
Divyansh Kaushik @dkaushik96
6K Followers 4K Following Emerging tech and national security. Now DC, always Pittsburgh.
Jonathan Aldrich @JAldrichPL
5K 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
34K Followers 1K Following Assistant Professor leading the Social RL Lab https://t.co/ykwfJG84Bj @uwcse and Staff Research Scientist at @GoogleAI.
Jian Ma @jmuiuc
9K Followers 2K Following Ray and Stephanie Lane Professor of Computational Biology at CMU School of Computer Science @CMUCompBio @SCSatCMU @CarnegieMellon
Sara Hooker @sarahookr
62K Followers 11K Following Building intelligence that evolves @adaption_ai. Built @Cohere_Labs, @GoogleBrain, @GoogleDeepmind. ML Efficiency, Multimodal\lingual.
Shaily @shaily99
8K 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 486 Following All the Carnegie Mellon University Libraries news and info that's fit to tweet!
Aidan Yang @AidanZHYang
634 Followers 541 Following PhD student @CarnegieMellon || Previously @awsCloud, @MSFTResearch, @AMD and @Queensu 🇨🇦 || Researching software engineering, security, and deep learning
CMU School of Compute... @SCSatCMU
48K Followers 763 Following The School of Computer Science at @carnegiemellon is one of the world's premier institutions for computer science research and education.
Alex Ratner @ajratner
7K Followers 691 Following @SnorkelAI @uwcse / prev @StanfordAILab – Interested in data management systems for machine learning, weak supervision, and impactful applications.
Pravesh K. Kothari @praveshkkothari
4K Followers 455 Following Assistant Professor @PrincetonCS @Princeton Applied Math (PACM) Research: Theoretical Computer Science, Optimization, Algorithmic Statistics.
Zack Ballam @ZackBallam
2 Followers 108 Following
Valerie Francia @valerie1francia
22 Followers 686 Following influencer marketing for enterprise tech. we find, curate, and package influencer campaigns that get real results @ freeman & forrest
Akshay Sankar @sankarakshay1
148 Followers 7K Following
Thomas Winegarden @Winegarden_Thom
393 Followers 2K Following Sr Data Scientist @Microsoft. Part-Time Lecturer @UW_iSchool. MSc in Data Science & BS in Informatics @UW. Tweets are my own and not the views of my employers.
llol2 @lol55231
1 Followers 11 Following
Chanat Amornvasin @amornvasin12036
5 Followers 1K Following
Julie Clement @JulieClement
52 Followers 3K Following
Indra Rustandi @bayesruler
57 Followers 1K Following ML at @coinbase. @CarnegieMellon PhD (made me @steelers fan). ENS: bayesrule.eth. Based about Bayes. Tweets/posts are my personal views.
Georg von Manstein @MansteinGeorg
3K Followers 7K Following high school grad, founder, ml + hci research
journey101 @journey_1038293
6 Followers 1K Following
梦周 @rFIqXZYJE8VzaM0
2 Followers 255 Following
Eric Kim @er1123090
11 Followers 238 Following Master’s student in AI(#NLProc) LLM/Agent Evaluation, Human Alignment, Personal AI, Human-Centered AI
Jan-Christoph Kalo @JanCKalo
543 Followers 851 Following Assistant Professor at @INDE_LAB_AMS @UvA_Amsterdam prev: PostDoc at @VUamsterdam, PhD at @tuBraunschweig Combining Language Models and Knowledge Graphs
Rodolpho Gurgel @rodolphogurgel
529 Followers 5K Following
tui @tui843466741247
3 Followers 253 Following
Abhishek Srivastav @abhisri14
79 Followers 987 Following Machine Learning Researcher. Dad. Also dabble in photography, woodworking and tinkering
danglingpointer @sunshotai
12 Followers 2K Following
وینٹیٹس @ojinturkey
6 Followers 1K Following
unmani👩💻 @unmaniii
220 Followers 4K Following Product Design @Zynga, (Prev) Summer Associate @JPMorgan
Bang Liu 老子天下... @LB666666888666
95 Followers 5K Following 自我实现自我预言创造悟道参禅静灵活至极周全艺术婉若游龙惊若翩鸿龙蛇之变木雁之间灵得很积极正能量正面绞尽脑汁削尖脑袋挖空心思挤破头皮一杆子打不尽水带逗你玩儿 人生难得是喝茶的心情 fight fight fight !!!穷则变变则通通则久进行到底！！一定要建设到底！！！战天斗地彻底碾压！！取得全面胜利打到无条件投降百温
Nhat Nguyen @NhatNguyen78430
8 Followers 1K Following
Abel Le @tasuke2k3
85 Followers 4K Following
Dylan Zhang @dylan_works_
1K Followers 7K Following Looking for Internships & Collab (Start-up's welcome!!) Modeling Language @UofIllinois CS PhD | SR @GoogleDeepMind | Ex. @MSFTResearch Intern
K @charcoalblock
71 Followers 1K Following
JustMyThoughts @unarayanan1976
187 Followers 4K Following
Aditya Chopra @adeecc11
136 Followers 920 Following design, databases, distributed systems // CMU CS
Pavan Kumar shanbog @pavanshanbog
14 Followers 1K Following
Jerome @WalnutPudding
17 Followers 2K Following
Goodnight @Mohammedarbi77
100 Followers 2K Following ML Nerd | @qdrant_engine Star | @Google DSC lead '23 Open to research & job opportunities
aubrey quarcoo @ahene90
476 Followers 7K Following Ghanaian orgin, Freelance C++ fixed income developer. Founder of GeorgeTown Analytics, using Erlang and Esper for messaging and Nosql. Web isolation
alazar @alazar42
50 Followers 2K Following cs undergrad at kaist @kaistpr doing it for the simulators
Saul Buitrago @sbuitrago
694 Followers 5K Following Veneko... Trying to apply physically based ML in water sciences @tudelft.
Wuod ndugu @wuodndugu1233
3 Followers 42 Following
Dimitrios Skarlatos @dimitriosSkar
4 Followers 32 Following Assistant Professor CSD @carnegiemellon @lithos_ai
Kisitu Elijah @KisituElijah123
1 Followers 20 Following
Eulrang Cho @EulrangCho
19 Followers 54 Following
fouad guerarra @FGuerarra
9 Followers 160 Following
The Ganeral 99 @TheGaneral99
0 Followers 12 Following
Nyamedi Gideon @NGideon11699
0 Followers 24 Following
Andy Pavlo (@andypavl... @andy_pavlo
40K Followers 206 Following Associate Professor of Databases @CarnegieMellon.
Carnegie Mellon Unive... @CarnegieMellon
83K 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
66K Followers 2K Following Professor: CMU/@acmi_lab, Cofounder: @AbridgeHQ, Creator: @d2l_ai & https://t.co/QQt98VNLUp, Relapsing 🎷
Noam Brown @polynoamial
134K Followers 915 Following Researching reasoning @OpenAI | Co-created Libratus/Pluribus superhuman poker AIs, CICERO Diplomacy AI, and OpenAI o-series 🍓 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
158K Followers 41 Following Sydney Dec 6-12, 26, Paris and Atlanta. Tweets to this account are not monitored. Please send feedback to [email protected].
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Graham Neubig @gneubig
44K Followers 771 Following Associate professor @LTIatCMU. Co-founder/chief scientist @OpenHandsDev. I mostly work on modeling language.
Sydney Gibson 🚛 �... @sydgibs
2K Followers 314 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
Divyansh Kaushik @dkaushik96
6K Followers 4K Following Emerging tech and national security. Now DC, always Pittsburgh.
Jonathan Aldrich @JAldrichPL
5K 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
73K 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 930 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
9K Followers 2K Following Ray and Stephanie Lane Professor of Computational Biology at CMU School of Computer Science @CMUCompBio @SCSatCMU @CarnegieMellon
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 486 Following All the Carnegie Mellon University Libraries news and info that's fit to tweet!
Aidan Yang @AidanZHYang
634 Followers 541 Following PhD student @CarnegieMellon || Previously @awsCloud, @MSFTResearch, @AMD and @Queensu 🇨🇦 || Researching software engineering, security, and deep learning
CMU School of Compute... @SCSatCMU
48K Followers 763 Following The School of Computer Science at @carnegiemellon is one of the world's premier institutions for computer science research and education.
Pravesh K. Kothari @praveshkkothari
4K Followers 455 Following Assistant Professor @PrincetonCS @Princeton Applied Math (PACM) Research: Theoretical Computer Science, Optimization, Algorithmic Statistics.
Tian Li @litian0331
1K Followers 313 Following Assistant Professor @UChicagoCS @DSI_UChicago | PhD @CSDatCMU
Aviral Kumar @aviral_kumar2
6K Followers 359 Following Assistant Professor of CS & ML at @CarnegieMellon. PhD from UC Berkeley.
IEEE Micro @ieeemicro
884 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
795 Followers 340 Following Official Twitter account for William (Bill) Sanders, President of Rochester Institute of Technology
Matt Davis @infinimatt
95 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 35 Following Assistant professor at CMU @SCSatCMU @CSDatCMU | Machine learning
Huan Zhang @huan_zhang12
411 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
6K 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 74 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
92 Followers 36 Following
CMU Cylab Crypto Semi... @cmucrypto
212 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.
Sam Westrick @shwestrick
1K Followers 597 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
Wan Lim (the "One" in... @lmwnshn
894 Followers 306 Following CTO @ OneWill | previously databases @ CMU-DB with Andy Pavlo, CMU CS PhD 2026, apparently still "cmu course reviews" on google | https://t.co/pu2sk9nxnt
Jay Bosamiya @jay_f0xtr0t
2K Followers 2K Following 🦊 Software security researcher. PhD from CMU. CTFer (PPP). | Inactive here | Find me at https://t.co/l4yhLdJfp0
Eunsuk Kang @eskang09
598 Followers 910 Following Associate prof. @SCSatCMU, @S3DatCMU. Software engineering, formal methods, system design, safety, security.
Tom 7 @tom7
8K Followers 359 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
147 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
306 Followers 156 Following BA in CS/Math from Cornell. PhD student @CSDatCMU Types are cool Opinions my own
Mia Tang @Miamiamia0103
4K Followers 206 Following CS PhD student @Stanford / Prev: CS + Design @CarnegieMellon
ACM SIGOPS @ACMSIGOPS
3K Followers 428 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 65 Following
Ian McCormack @icmccorm
146 Followers 220 Following PhD Candidate in Software Engineering @S3DatCMU. Studying Rust interop 🦀 https://t.co/VoicBkd8oA
Amber Horvath @AmberHorvath1
495 Followers 259 Following post-doc @MIT_CSAIL, prev. @cmuhcii, @google, @intel, @oregonstate. Studying developer sensemaking and information management
Bailey Flanigan @baileyflan
123 Followers 80 Following HDSI Postdoc at the Harvard Ash Center. Faculty at MIT joint between political science and CS starting Fall '25.
Catalina Vajiac @CatVajiac
80 Followers 155 Following PhD student at @SCSatCMU working on fighting human trafficking by analyzing online escort advertisements.
Minji Yoon @MinjiYoon90
2K Followers 366 Following LLM research @MicrosoftAI. Past: @InflectionAI, PhD @SCSatCMU.
João L Ribeiro @joaomlribeiro
356 Followers 1K Following Assistant Professor @istecnico. Previously @FCTNOVA @CSDatCMU @imperialcollege @CSatETH. I like codes and (pseudo)randomness.
POPL 2027 @poplconf
3K Followers 278 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Maxico City, Mexico, 10-16 January 2027 (#POPL2027).
Zhengyang Geng @ZhengyangGeng
2K Followers 667 Following PhD student with @zicokolter / curiosity＆love / dynamics / intern of super intelligence
mizjodi @mizjodi
686 Followers 405 Following Herbert A. Simon Professor, HCII, and Associate Dean, Diversity, Equity, and Inclusion, Carnegie Mellon University
Jim Blakley @jimblakley
346 Followers 302 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
128 Followers 50 Following I think about democracy from a computer science perspective.
Goran Zuzic @zuza777
285 Followers 229 Following Research scientist at Google Research. (Formerly) Computer Science Theory @ Carnegie Mellon University. Postdoc @ ETH Zürich. Croatian 🇭🇷
Ken Holstein @d19fe8
2K Followers 780 Following HCI Prof @cmuhcii | ...now at https://t.co/2DGRG3mZmC
CMU Tech & Entreprene... @cmutehq
528 Followers 189 Following A community to connect and support the most ambitious @CarnegieMellon entrepreneurs and builders
Colin White @crwhite_ml
2K Followers 885 Following Evaluating generative AI models. Research Scientist at @MetaAI. Prev @abacusai, @SCSatCMU
Yash Savani @yashsavani_
289 Followers 733 Following PhD student @CSDatCMU with Zico Kolter | prev research scientist @abacusai, ml eng @primer_ai | prev prev CS+Stats @Stanford @StanfordAILabYou might like
