Brown CS

Directions Website

Brown CS Brown CS news. If you have a brown.edu email, join our internal group: http://buff.ly/1SKmG4S.

Anthropic Formal Verification Work Builds On A Brown CS Course ProjectWhen Anthropic published a report this week on how...
10/26/2026

Anthropic Formal Verification Work Builds On A Brown CS Course Project

When Anthropic published a report this week on how AI is making formal software verification practical at scale, it contained an experiment with deep Brown CS roots. Anthropic asked Claude to write an interpreter for a large chunk of Python, in Rust, and then to prove that it follows the CPython semantics “outlined in an academic paper”. That paper is Python: The Full Monty: A Tested Semantics for the Python Programming Language, published at OOPSLA 2013, and much of it was built by undergraduates.

Learn more (and read the paper) at Brown CS Blog: https://blog.cs.brown.edu/2026/10/26/anthropic-formal-verification-work-builds-on-a-brown-cs-course-project

Adriana Schulz Keynotes Pacific Graphics 2026“Generative models,” says Brown CS faculty member Adriana Schulz, “have tra...
10/21/2026

Adriana Schulz Keynotes Pacific Graphics 2026

“Generative models,” says Brown CS faculty member Adriana Schulz, “have transformed our ability to create images, geometry, and other digital content. But designing objects for the physical world requires more than generating something plausible or visually compelling. Physical artifacts must also be manufacturable and satisfy functional and performance requirements, turning design into a search through complex, highly constrained spaces.”

Learn more about her talk at Brown CS News: https://cs.brown.edu/news/2026/10/21/adriana-schulz-keynotes-pacific-graphics-2026

10/21/2026
Strong Representation At CSCW Shows Brown CS Impact In Social Computing And Human-Computer InteractionThe twenty-ninth A...
10/16/2026

Strong Representation At CSCW Shows Brown CS Impact In Social Computing And Human-Computer Interaction

The twenty-ninth ACM Conference on Computer-Supported Cooperative Work and Social Computing (CSCW 2026), held this week from October 10-14 in Salt Lake City, is widely considered a premier venue for research in the design and use of technologies that affect groups, organizations, communities, and networks. This year, Brown CS community members are returning from the event with five accepted papers, and the work spans research areas ranging from activism to data maintenance to AI and mental health.

Learn more at Brown CS News: https://cs.brown.edu/news/2026/10/16/strong-representation-at-cscw-shows-brown-cs-impact-in-social-computing-and-human-computer-interaction

Apply Now For The $15,000 Pausch Undergraduate Summer Research AwardBrown CS is glad to announce that applications are o...
10/13/2026

Apply Now For The $15,000 Pausch Undergraduate Summer Research Award

Brown CS is glad to announce that applications are open for the Randy F. Pausch '82 Computer Science Undergraduate Summer Research Award, which provides $15,000 annually to support an undergraduate engaged in an intensive faculty-student summer research partnership with the Department of Computer Science. Typically, the award supports established student-faculty relationships. Recipients should be CS or joint-CS concentrators, and cannot be graduating in May 2027.

Learn more at Brown CS News: https://cs.brown.edu/news/2026/10/13/apply-now-for-the-15000-pausch-undergraduate-summer-research-award

The Scientist Asks Sohini Ramachandran About Fifteen Years Of Exploring Human Genetic Variation"The longer I am a scient...
10/13/2026

The Scientist Asks Sohini Ramachandran About Fifteen Years Of Exploring Human Genetic Variation

"The longer I am a scientist," says Brown University's Hermon C. Bumpus Professor of Biology and Data Science and Professor of Computer Science Sohini Ramachandran, "the more I see it as an infinite game. A finite game is where there's a winner and a loser, and at some point, it ends. [In] an infinite game, you want to play to keep playing."

Learn more at Brown CS Blog: https://blog.cs.brown.edu/2026/10/13/the-scientist-asks-sohini-ramachandran-about-15-years-of-exploring-human-genetic-variation

Address

115 Waterman Street
Providence, RI
02912

Alerts

Be the first to know and let us send you an email when Brown CS posts news and promotions. Your email address will not be used for any other purpose, and you can unsubscribe at any time.

Shortcuts

Share