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
42K Followers 211 Following Database Research @ClickHouseDB. Associate Professor of Databases @CarnegieMellon.
Carnegie Mellon Unive... @CarnegieMellon
85K 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
34K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Zachary Lipton @zacharylipton
69K Followers 2K Following Professor: CMU/@acmi_lab, Cofounder: @AbridgeHQ, Creator: @d2l_ai & https://t.co/QQt98VNLUp, Relapsing 🎷
Noam Brown @polynoamial
174K Followers 958 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 640 Following Staff Research Scientist @GoogleDeepMind // Gemini Post-Training and Evals // PhD @CarnegieMellon
Divyansh Kaushik @dkaushik96
7K Followers 4K Following Tech and national security. Now DC/SF, always Pittsburgh. Opinions mine.
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Council. Co-dev of https://t.co/ilgx6i6eL1 He/him.
Natasha Jaques @natashajaques
35K 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 @CarnegieMellon | Interim Head @CMUCompBio @SCSatCMU | AI for Biology
Sara Hooker @sarahookr
65K Followers 11K Following Building intelligence that evolves @adaption_ai. Built @Cohere_Labs, @GoogleBrain, @GoogleDeepmind. ML Efficiency, Multimodal\lingual.
Sam Westrick @shwestrick
1K Followers 601 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 485 Following All the Carnegie Mellon University Libraries news and info that's fit to tweet!
Aidan Yang @AidanZHYang
630 Followers 539 Following PhD student @CarnegieMellon || Previously @awsCloud, @MSFTResearch, @AMD and @Queensu 🇨🇦 || Researching software engineering, security, and deep learning
CMU School of Compute... @SCSatCMU
48K Followers 767 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 754 Following @SnorkelAI @uwcse / prev @StanfordAILab – Interested in data management systems for machine learning, weak supervision, and impactful applications.
Pravesh K. Kothari @praveshkkothari
4K Followers 556 Following Associate Professor @PrincetonCS @Princeton Applied Math (PACM) Research: Theoretical Computer Science
Jamie Pullman @Pullman
492 Followers 6K Following If you never know truth, then you never know 💚💙♥️🖤.
TurnbullSTAR @TurnbullSTAR
254 Followers 7K Following Family Office Analyst,Ai consulting for Small Businesses, DeRec Alliance, technology consulting for Small Businesses
Om Kulkarni @shadowboxingme
32 Followers 3K Following adaptable, entrepre-neural, and training on non-augmented data
lianlinjiang @lianlinjiang
8 Followers 181 Following
Journey Inspired @JInspiredHQ
0 Followers 80 Following Curating transformational travel experiences across health & wellness, education, property, lifestyle, nature & culture. AI-powered travel concierge.
FreebandTrust @TrustFreebandz
60 Followers 352 Following I’m a Power Ranger but I ain’t try to save no day ………
Haruna Auwal @Harfatx
6 Followers 160 Following
young @younghunrh
3 Followers 100 Following
Jean Christian Duseng... @JeanChr16261612
36 Followers 107 Following CS & Cybersecurity student @KentState Member of @hackSU. Learning software dev, network security, and defensive tech.
Anurag Banerjee @anuragbnrj
91 Followers 2K Following
stargaz3r @stargaz3r42
154 Followers 5K Following
OrbitDrifter @xO1gsZ4A1fxJjNT
7 Followers 99 Following
Deep Biswas @DeepBiswas45752
1 Followers 29 Following
interstater @interstarter
25 Followers 864 Following I could be bounded in a nutshell, and count myself a king of infinite space
paria @pariawshahi
140 Followers 7K Following
Jikanle - 時間乐 @JikanleOficial
5 Followers 394 Following Time that counts twice — where you learn a language, find your people, and let music do the bonding.
abhijeeta @llamapalli
287 Followers 1K Following meaning mechanic / playing with the sound of ink on paper // 🌐 🧩🪴🫀🧰
Gopal Khanal @GopalNature
745 Followers 1K Following PhD Student @UBC & @ubcires | Conservation Officer @MOFENepal, alumni @NCBS_Bangalore; Studying human wildlife interactions in Nepal
Sathvik Napa @SathvikNapa
6 Followers 926 Following MSE CS/NLP @ JHU | 5 YOE building enterprise ML/NLP systems | Backend + Scalable Systems
Henry Gao @HenryGao_ewa
2 Followers 395 Following Managerial Editor at EWA Publishing Academic Publishing & Conference Collaboration
Charles Ji @0xCharlesJi
97 Followers 603 Following
Engin Soba Ressurecti... @SobaEngin
80 Followers 2K Following Bilkent Sosyoloji ve Toplum Mühendisliği Ölüm geldiğine mal da gider mülk de gider, eş gider dost gider ama iman kabre bizimle beraber girer… certified coconut
K @KVAGTM
1 Followers 75 Following
Haolin Lee @Cyn0_1024
0 Followers 100 Following
Laura Doell @Laura__Doell
2K Followers 1K Following It takes a village. Mom of the World’s best kids. Where science meets art. Fan of Elon.
HAFFI OCEANZ @KawooyaFah35659
1K Followers 2K Following ⚽️CHELSEA FUN/FOREX📊SMC TRADER📉📈 @central cee
Anub Sinha @Anub_Sinha
110 Followers 2K Following Building behaviour world models, Head of engineering at ZKAI Labs
nikhil rathore @nikhilr52861160
2 Followers 73 Following
Wasabi Yamamoto @anhn_cs
201 Followers 599 Following
Chris Velasco @velascochris
106 Followers 1K Following
kay @snng24
7 Followers 2K Following
Ivan M @med_1v
10 Followers 7K Following
Andy Pavlo (@andypavl... @andy_pavlo
42K Followers 211 Following Database Research @ClickHouseDB. Associate Professor of Databases @CarnegieMellon.
Carnegie Mellon Unive... @CarnegieMellon
85K 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
69K Followers 2K Following Professor: CMU/@acmi_lab, Cofounder: @AbridgeHQ, Creator: @d2l_ai & https://t.co/QQt98VNLUp, Relapsing 🎷
Noam Brown @polynoamial
174K Followers 958 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
164K 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
24K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Graham Neubig @gneubig
47K Followers 803 Following Associate professor @LTIatCMU. Co-founder/chief scientist @OpenHandsDev. I mostly work on modeling language.
Divyansh Kaushik @dkaushik96
7K Followers 4K Following Tech and national security. Now DC/SF, always Pittsburgh. Opinions mine.
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Council. Co-dev 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 923 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 @CarnegieMellon | Interim Head @CMUCompBio @SCSatCMU | AI for Biology
brogician @sivawashere
423 Followers 263 Following you're wrong about programming languages and i'm right
Sam Westrick @shwestrick
1K Followers 601 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 485 Following All the Carnegie Mellon University Libraries news and info that's fit to tweet!
Aidan Yang @AidanZHYang
630 Followers 539 Following PhD student @CarnegieMellon || Previously @awsCloud, @MSFTResearch, @AMD and @Queensu 🇨🇦 || Researching software engineering, security, and deep learning
Tian Li @litian0331
1K Followers 314 Following Assistant Professor @UChicagoCS @DSI_UChicago | PhD @CSDatCMU
Aviral Kumar @aviral_kumar2
6K Followers 361 Following Assistant Professor of CS & ML at @CarnegieMellon. PhD from UC Berkeley.
IEEE Micro @ieeemicro
984 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
799 Followers 341 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
415 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
90 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.
Wan Lim @lmwnshn
1K Followers 452 Following CTO @OneWillAI | previously databases PhD @CMUDB with @andy_pavlo, apparently still "cmu course reviews" on google | former chicken farmer | aspiring capybara
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
596 Followers 909 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
146 Followers 160 Following CMU's Entertainment Technology Center is home to the future of interactive, educationally-focused experiences for students K-12+.
Sophia Roshal @RoshalSophia
299 Followers 155 Following BA in CS/Math from Cornell. PhD student @CSDatCMU Types are cool Opinions my own
Mia Tang @Miamiamia0103
4K Followers 210 Following CS PhD student @Stanford / Prev: CS + Design @CarnegieMellon
ACM SIGOPS @ACMSIGOPS
3K Followers 429 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
145 Followers 219 Following PhD Candidate in Software Engineering @S3DatCMU. Studying Rust interop 🦀 https://t.co/VoicBkd8oA
Amber Horvath @AmberHorvath1
501 Followers 262 Following assistant professor @uvic, prev. post-doc @MIT_CSAIL, prev. @cmuhcii, @google, @intel, @oregonstate. Studying developer sensemaking and information management
Bailey Flanigan @baileyflan
125 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
3K Followers 368 Following LLM research @MicrosoftAI. Past: @InflectionAI, PhD @SCSatCMU.
João L Ribeiro @joaomlribeiro
353 Followers 1K Following Assistant Professor @istecnico. Previously @FCTNOVA @CSDatCMU @imperialcollege @CSatETH. I like codes and (pseudo)randomness.
POPL 2027 @poplconf
3K Followers 276 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Maxico City, Mexico, 10-16 January 2027 (#POPL2027).
Zhengyang Geng @ZhengyangGeng
3K Followers 727 Following Incoming research @GoogleDeepMind / PhD student @CarnegieMellon curiosity & love / views my own
mizjodi @mizjodi
684 Followers 405 Following Herbert A. Simon Professor, HCII, and Associate Dean, Diversity, Equity, and Inclusion, Carnegie Mellon University
Jim Blakley @jimblakley
348 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
131 Followers 50 Following I think about democracy from a computer science perspective.
Goran Zuzic @zuza777
304 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 779 Following HCI Prof @cmuhcii | ...now at https://t.co/2DGRG3mZmC
CMU Tech & Entreprene... @cmutehq
524 Followers 189 Following A community to connect and support the most ambitious @CarnegieMellon entrepreneurs and builders
Colin White @crwhite_ml
2K Followers 897 Following Evaluating generative AI models. Research Scientist at @MetaAI. Prev @abacusai, @SCSatCMU
Yash Savani @yashsavani_
291 Followers 735 Following PhD student @CSDatCMU with Zico Kolter | prev research scientist @abacusai, ml eng @primer_ai | prev prev CS+Stats @Stanford @StanfordAILabYou might like
