New research (“Using Relational Problems to Teach Property-Based Testing”) by Brown CS PhD student Jack Wrenn and Professors Tim Nelson and Shriram Krishnamurthi has recently won the annual Editors’ Choice Award for Volume 5 of The Art, Science, and Engineering of Programming, popularly known as . “I think this paper,” …
Brown CS alum Scott A. Smolka was recently named a co-recipient of the 2021 Edsger W. Dijkstra Prize in Distributed Computing for the pioneering paper “CCS Expressions, Finite State Processes, and Three Problems of Equivalence”. The Dijkstra Prize is awarded to distinguished papers that have significantly impacted either the theory …
University of Southern California (USC)'s Election Cybersecurity Initiative is a new, non-partisan, independent project, supported by Google, to help protect campaigns and elections by conducting cybersecurity workshops in all 50 states. Brown CS faculty member Ernesto Zaldivar, Deputy Director of Graduate Studies (Computer Science and Policy Tracks) for Brown's Master of …
"Technological advancements have led to a proliferation of machine learning systems to assist humans in a wide range of tasks," writes Professor R. Iris Bahar of Brown CS. "However, we are still far from accurate, reliable, and resource-efficient operations for many of these systems. Despite the strengths of convolutional neural …
Brown CS PhD student Leonhard Spiegelberg has received a Facebook Fellowship for his research on systems for big data analytics. His paper “Tuplex: Data Science in Python at Native Code Speed” was also published at the ACM Special Interest Group on Management of Data conference.The Facebook Fellowship provides awards to …
At Brown University's nurturing ground for young entrepreneurs, Brown CS student Aric Zhuang and Brown student Caitlin Pintavorn placed second and took home a $15,000 prize for their new start-up, CASTYR, at the annual Brown Venture Prize.The Brown Venture Prize is an initiative from the Nelson Center for Entrepreneurship designed to empower …
by Jessica DaiI caught the CS bug much like many others at Brown: through the games and brightly-colored pixels of the 15-16 sequence. I was enthralled by knowing there was a direct link between lines of code I had typed and the animations on my screen, but still, I had …