| |
Cornell Bowers is a special place.
It has a long tradition of academic excellence, collaborative impact, interdisciplinary research, and pursuit of knowledge. In addition, Bowers has always been unique as a leader both in technology innovations and in evaluating the impact of technology on society. | | Not only does this approach provide the broadest impact, but it matches the values in my own research. It is a privilege and honor to listen, plan, enable, and cheer on a constructive, impactful, and inspiring future for Cornell Bowers. | | | |
My research covers two main areas. One broad area is formal verification, where the goal is to prove that software behaves the way it is supposed to. In this direction, I have recently been exploring ways of using AI to help develop proofs about software. Human-centered design of software engineering tools is my other big area of research. | | The goal here is to design tools for programmers that take into account the broad set of programmer needs. In this direction, we recently ran a study looking at how professional software engineers use modern AI agents in their development processes, allowing us to understand what works and what doesn’t. | | | | |
Joe Halpern, ‘towering’ computer scientist and mentor, dies at 72
Joseph “Joe” Halpern, a pioneering computer scientist whose profound impact advanced not only his own field but philosophy, economics and artificial intelligence, died Feb. 13 in Ithaca. In addition to his scholarship, Halpern was a beloved professor and mentor who influenced generations of students during his 30 years at Cornell.
| | | | | |
Follow along with Samantha '27, a computer science major. See what her semester looked like and how she is pursuing her unique interests inside and outside the classroom.
🎒💻📈
Watch Samantha's story
| |
Want to share your Bowers' POV?
Apply to be featured next!
Show off your research, student organization, classes and more!
Submit your application
| |
| |
Bowers 2025 December graduates reflect on undergraduate experiences
We congratulate the December 2025 graduates as they embark on the next phase of their lives. Our graduates have left an indelible mark on the college and university as a whole, pursuing challenging leadership opportunities, conducting remarkable research, and engaging in incredible extracurricular experiences.
| | | | | Sanjiban Choudhury and Sarah Dean, are recent recipients of National Science Foundation Faculty Early Career Development Awards. | | | | | Vitaly Shmatikov, has received the Association for Computing Machinery Conference on Computer and Communications Security (ACM CCS) Test of Time Award for his influential 2015 paper, “Privacy-Preserving Deep Learning.” | | | | | David Rand received the 2026 Newcomb Cleveland Prize from the American Association for the Advancement of Science (AAAS). The association’s oldest award, the prize is given annually to authors of an outstanding research article published in the journal Science. | | | |
Yoav Artzi
Christian Belardi
Justin Lovelace
Jennifer Sun
| |
| |
Kilian Weinberger
Sofian Zalouk
Linxi Zhao
Jin Zhou
| |
| |
Grants to support research at nexus of AI, climate science
Eight Cornell research teams have been chosen as recipients of AI and Climate Fast Grants, to explore strategies to reduce energy use in AI industries and to integrate AI in environmental research.
David Rand
Sarah Dean
Thorsten Joachims
| | | | |
Robotic medical crash cart eases workload for health care teams
Angelique Taylor is leading groundbreaking work on a robotic crash cart designed to help clinicians manage the stress and complexity of emergency care. Early studies reveal that health care teams find the robot’s guidance more useful and less taxing than traditional carts.
| | | | |
Seamless tech: ‘OriStitch’ threads computation and 3D textiles
A team of researchers from the college developed OriStitch, a new software and fabrication system that takes simple 3D objects – a toy or a teapot, say – and spins them into a design for a textile version using carefully placed stitches in fabric.
| | |
Cornell Researchers:
Thijs Roumen
Zekun Chang
Yixuan Gao
Shuo Feng
François Guimbretière
| |
| | A research group led by Matthew Wilkens, is the recent recipient of a Schmidt Sciences award to leverage artificial intelligence (AI) in the humanities to unlock new insights in human history and culture. He will lead a team of researchers, including David Mimno, on a project called, “Artificial Intelligence for Cultural and Historical Reasoning." | | | | |
Ph.D. student Yunxi Shen, '29 is tackling the fragmentation of modern farm data by developing an automated pipeline for CAST’s networked farms. Alongside Hakim Weatherspoon, he’s helping build a secure, scalable platform that enables AI‑driven analytics while protecting farmers’ privacy.
| | | | |
New 3D benchmark leaves AI in knots
In new research that puts the latest models to the test in a 3D environment, Zoe (Zizhao) Chen, a doctoral student in the field of computer science, and Yoav Artzi, found that AI fares well with untangling basic knots but can’t quite tie knots from simple loops nor convert one knot to another.
| | | | |
Digital humanities scholars chart lost art of maps in novels
Digital humanities scholars including, Axel Bax, a doctoral student in the field of information science, Matthew Wilkens, and David Mimno, have developed a computational system to mine maps from nearly 100,000 digitized books from the 19th and early 20th centuries.
| | | | |
Programmable plant sprint hits the ground running
When a team of biologists, engineers, and computer scientists gathered across the Cornell campus, their goal was ambitious but concrete: by the end of the sprint, build and demonstrate a fully functioning, closed-loop system in which plants could sense their own nitrogen status and automatically trigger a nutrient system to correct it. Computer science doctoral students, Shuangyu Lei and Salman Abid, programmed the dashboard interface.
| | | | |
New technique puts rendered fabric in the best light
Steve Marschner and Yunchen Yu, a doctoral student in the field of computer science, in partnership with NVIDIA, have developed a method for creating digital images of cloth that more accurately captures the texture of textiles.
| | | | |
‘Rosetta stone’ for database inputs reveals serious security issue
The data inputs that enable modern search and recommendation systems were thought to be secure, but an algorithm developed by Cornell researchers successfully teased out names, medical diagnoses, and financial information from encoded datasets.
| | |
Cornell Researchers:
Vitaly Shmatikov
John Morris
Collin Zhang
Rishi Jha
| |
| | |
Assessing and Imagining the Impact
of Generative AI on Science
MARCH 3-5
Is generative AI transforming the scientific enterprise — and if so, how? What enduring effects will these changes have, particularly at a moment when scientific inquiry is more essential than ever for addressing global challenges? And how can scientists and science policymakers best prepare for — and shape — these transformations?
Three public panels are open to the Cornell community and bring together researchers, practitioners, and thought leaders to explore emerging questions in AI.
| | | | |
