Brown CS News

Only weeks after earning the ECOOP Distinguished Paper and Distinguished Artifact Awards for work in formal methods visualization, Brown PLT has won an International Conference on Computer-Aided Verification (CAV) Distinguished Paper Award for a new misconception-based automated Linear Temporal Logic tutoring system.

Deepti Raghavan, Malte Schwarzkopf, and Nikos Vasilakis were chosen by a distinguished group of Google engineers and researchers for work that leads the analysis, design, and implementation of efficient, scalable, secure, and trustworthy computing systems. 

The new institute, based at Brown and supported by a $20 million National Science Foundation grant, will convene researchers to guide development of a new generation of AI assistants for use in mental and behavioral health.

New work (Cope and Drag, also known as CnD) from Brown PLT is a novel lightweight diagramming language. It’s just earned recognition at ECOOP 2025, receiving both a Distinguished Paper and a Distinguished Artifact Award.

Ritambhara aims to develop new computational methods that can combine multiple types of health information to better predict diseases and design effective treatments tailored to each individual, and she’s just received a National Science Foundation (NSF) CAREER Award to help pursue them.

The fellowship supports early-career computing researchers who bring interdisciplinary expertise from the social sciences to infuse ethical and societal perspectives into Trustworthy AI development, and Diana Freed is one of the inaugural recipients.

This year, research from Brown Visual Computing (BVC) student Yiqing Liang and her collaborators at NVIDIA was recognized as a best paper award candidate with oral presentation.      

This year’s recipient of CRA's Anita Borg Early Career Award is Adriana Schulz of the University of Washington, who joins Brown CS as Associate Professor this fall. Adriana has been recognized for her outstanding research in computer graphics and her commitment to broadening participation in computing. 

Brown CS is happy to announce that effective July 1, 2025, John E. Savage Assistant Professor of Computer Science and Data Science Ritambhara Singh, also a member of the Center for Computational and Molecular Biology, has been promoted to Associate Professor with tenure.

Brown CS is happy to announce that effective July 1, 2025, Eliot Horowitz Assistant Professor of Computer Science Malte Schwarzkopf has been promoted to Associate Professor with tenure.