Q: How do you define the meaning of a program? A: With semantics! How program output is computed from input, and checking of rules. Watch my new Programming Language Pragmatics video, covering dynamic vs. static semantics, & how to represent a program with abstract syntax trees.

Just a reminder, applications for our 16-week, full-time coding bootcamp close on September 24 at 11:59 p.m. ET! Get your application in today! bootcamps.cs.cmu.edu/coding-bootc...

Andrea Bajcsy, an assistant professor at the @cmurobotics.bsky.social, has earned a DARPA Young Faculty Award for her work to create models and algorithms that help embodied AI systems make more reliable decisions in diverse environments.

No. 1 in AI, Cybersecurity, Mobile/Web Apps, Programming Languages, and Software Engineering. No. 2 overall in CS. Top five in Biotechnology, Systems, Data Science, Game Development, and Theory.

As a lifelong musician, Chris Donahue merges music, creativity and artificial intelligence to create more opportunities for expression. On this episode of Does Compute, hear how he’s working to improve these tools, and create systems that put artists first! www.geekwire.com/does-compute/

SCS faculty member Mayank Goel is dedicated to providing individuals with first-hand access to their health data and to helping them maintain their health at home.

Martial Hebert, dean of the School of Computer Science, shares his perspective on physical AI — what it is, why it matters now and how it’s set to transform industries and create new opportunities.

CMU joined innovators, researchers and experts at the 2025 AI Horizons event in Pittsburgh, focusing on how to move AI from concept to real-world impact in critical fields like health care, manufacturing, defense, finance, robotics and more.

Physical AI refers to any system that interacts with and adapts to our physical world. Unlike digital AI agents, physical AI involves sensing, reacting and making decisions in real-world environments. 💡 An example of physical AI: CMU's BrickGPT, which uses AI to turn words into buildable designs.

SCS alumnae Annie Nadkarni and Zahra Ahmad are proof that the road to medical school doesn't always follow a traditional path. In fact, sometimes it starts with computational biology.

A new study using a @cmu.edu tool shows that AI agents pose safety risks in nearly two-thirds of their interactions with humans in critical areas such as education and health care.

Over the past 40 years, Carnegie Mellon's Software Engineering Institute has been at the forefront of improving software systems vital to national defense and the information technology ecosystem. Government, CMU and SEI leaders gathered to celebrate the SEI's four decades of innovation.

Computer graphics have reshaped entertainment and Kiran Bhat has had a front-row seat. Hear his journey from robotics PhD and ILM intern to founding and selling a startup and running a team at Roblox! Check out Does Compute on YouTube or wherever you find podcasts! www.geekwire.com/does-compute/

SCS faculty member Travis Breaux directs CMU's Requirements Engineering Lab, where he creates tools that bridge the gaps between people in law and tech. www.cs.cmu.edu/news/2025/le...

Over 377,000 tech jobs open in the US every year. But as #GenerativeAI reshapes coding, the necessary skills are changing faster than ever. Join our live webinar on 9/12 @ 1:00 pm ET and explore how coding careers are evolving. Register Now! - zoom.us/webinar/regi...

ICYMI: @hcii.cmu.edu Researchers Present Work at 3 Co-Located Conferences in Italy www.hcii.cmu.edu/news/whats-n...

What's in a name? Today launches the first video in Chapter 3 of Programming Language Pragmatics, on Names, Scopes, and Binding! Follow along to learn more about that most fundamental of language capabilities: giving things names. Video: youtu.be/BmnfjwneZRw

New SCS research shows that GitHub users increasingly buy or trade for fake stars, then use their ill-gotten gains to attract unsuspecting users so they can steal their cryptocurrency, swipe their credentials or trick them into downloading malicious software.

Lily Ma, after graduating in December with an AI-concentration computer-science major from Carnegie Mellon University, applied for 30 to 40 jobs. She had interviews with about a dozen. “I did notice that having research experience helps a lot,” she says. via @wsj.com

Lily Ma, after graduating in December with an AI-concentration computer-science major from Carnegie Mellon University, applied for 30 to 40 jobs. She had interviews with about a dozen. “I did notice that having research experience helps a lot,” she says.

Lily Ma, after graduating in December with an AI-concentration computer-science major from Carnegie Mellon University, applied for 30 to 40 jobs. She had interviews with about a dozen. “I did notice that having research experience helps a lot,” she says.

I spoke to Forbes about why model "welfare" is a silly framing to an important issue; models don't have feelings, and it's a big distraction from real questions like tensions between safety vs. user utility, which are NLP/HCI/policy questions www.forbes.com/sites/victor...

The Carnegie Mellon University Robotics Institute Summer Scholars program has launched a partnership with the University of Guadalajara to create pathways for undergraduate researchers from Mexico to engage with robotics and artificial intelligence research.

SCS faculty members Christian Kästner and Eunsuk Kang are part of the team that created FairSense, a tool that simulates machine learning systems in their environments over long periods to time to measure bias and unfairness.

With Reel Feel, users can experience a wide range of tactile sensations within a single, unified system.

Incoming MLD Ph.D. student Souraja Kundu has earned a 2025 Quad Fellowship.

“It takes a long time to turn ideas into a physical design and prototype. But if you can integrate generative AI into the process, it can significantly improve efficiency and reduce the roadblocks to kicking off projects.”

Carnegie Mellon faculty and students are presenting on a wide range of topics at the 34th USENIX Security Symposium in Seattle, highlighting the latest advances in the security and privacy of computer systems and networks.

A new system from researchers in @cmurobotics.bsky.social helps robots adapt to articulated objects like microwaves, drawers and cabinets.

Launching my Programming Language Pragmatics talks! These short, accessible talks cover the material in the textbook, the 5th edition of which I wrote with Michael L. Scott. The first one introduces the topic and talks about why we study programming languages! www.youtube.com/watch?v=hwL0...

CMU hacking team the Plaid Parliament of Pwning pwns again, wins fourth straight and record ninth overall DEF CON Capture-the-Flag title www.cylab.cmu.edu/news/2025/08...

Carnegie Mellon University and University of Pittsburgh MD/PhD student Anna Li has built the first prototype of a home-use electronic stethoscope and it has now turned into a patented medical device and is headed toward FDA approval. www.pittwire.pitt.edu/magazine/fea...

"Luis Von Ahn’s breakthrough came as a computer science expert at Carnegie Mellon University, when he worked out how to stop hackers setting up fake email accounts." Read more about CMU alum Luis Von Ahn, co-founder of the popular language-learning app Duolingo. www.thetimes.com/business-mon...

As we move AI technology forward, it is incumbent upon us all to ensure the positive impacts of AI are worth the substantial energy cost. Owning to work at CMU and elsewhere, we are well-positioned to meet this challenge. Read more from Zico Kolter (@zicokolter.bsky.social): cmu.is/energy-innov...

CyLab researchers are developing a user-focused privacy threat modeling framework, called UsersFirstOpens, that seeks to help organizations identify and remedy areas where their privacy notices and choices fall short. www.cylab.cmu.edu/news/2025/06...

SCS faculty member Dimitrios Skarlatos earned the 2025 IEEE TCCA Young Computer Architect Award for his contributions to virtual memory management and computer security. www.cs.cmu.edu/news/2025/sk...

At Massachusetts Institute of Technology (MIT)'s recent AI & Energy: Peril & Promise symposium, Emma Strubell, assistant professor in the Language Technology Institute, joined the conversation warning against efficiency gains triggering greater overall consumption. news.mit.edu/2025/confron...

@cmu.edu University students are getting a second chance to make history and get their rover Iris to the moon after its first mission in 2024 was cut short. www.wpxi.com/news/local/c...

Humans routinely use hand gestures to communicate, but what might be an innocent gesture in one culture could be offensive in another. CMU researchers created a model to help generative AI systems understand the cultural nuance of gestures. www.cs.cmu.edu/news/2025/ai...

Carnegie Mellon computer science academy has helped 500,000 students around the globe learn computer science! 🎉 The entirely free, world-class curriculum supports educators and students with the goal of making computer science education accessible for anyone. @scsatcmu.bsky.social @cbsnews.com

Informatica and CMU's School of Computer Science have partnered to advance the development and application of GenAI technologies for data management. www.intelligentcio.com/north-americ...

CMU's Cylab is hosting a Robotics Security and Privacy workshop. This workshop will convene leading researchers and experts from across academia and industry to discuss strategic approaches to building trusted middleware and toolchains. Learn more: www.cylab.cmu.edu/news/2025/06...

Carnegie Learning announced that its ClearTalk AI-powered speaking practice tool has been selected as winner of the "Language Learning Innovation Award" in the 7th annual EdTech Breakthrough Awards program. finance.yahoo.com/news/carnegi...

CMU CS Academy has reached 500,000 students globally, spanning 2,000 schools in 66 countries. And this milestone is just the beginning! Now offering six online courses, our goal is to make computer science education accessible to students everywhere—for free. Learn more: academy.cs.cmu.edu

Check out our new work on making robots process touch more like brains! Surprisingly, ConvRNNs best matched mouse cortex—passing the NeuroAI Turing Test. We also developed tactile-specific SSL augmentations and an Encoder-Attender-Decoder framework unifying ConvRNNs, SSMs & Transformers.

Artificial intelligence models developed and evaluated by faculty throughout Carnegie Mellon’s School of Computer Science are transforming education using novel approaches that teach critical thinking skills and improve equity for all students. Read more: magazine.cs.cmu.edu/promoting-cr...

CMU researchers are using personalized models to decode how cancer behaves in individual patients, one of medicine's toughest challenges. Through individualized data and insights, their work revealed hidden #cancer subtypes that could inform treatment and improve survival predictions. #Research

Tom Mitchell’s work with AI tools like Google’s NotebookLM explores how automatically generated, conversational learning materials can personalize education and transform the future of teaching and learning. Read more in the latest issue of The LINK Magazine. bit.ly/4jfB7Mh

SCS Ph.D. student Stephen Huan has received a Department of Energy Computational Science Graduate Fellowship for the 2025–26 academic year. www.cs.cmu.edu/news/2025/hu...

Arm and @softbankofficial.bsky.social contribute $15.5M to @cmu.edu to support its partnership with Keio University, a collaboration to accelerate the global advancement of AI. www.cmu.edu/news//storie...