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 …
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 …
Learnable.ai, co-founded by Brown CS alum Guan "Royal" Wang, is a human-centered artificial intelligence (AI) company. Originating from the Harvard Innovation Lab, it provides fully-automated grading AI for K-12 subjects, application programming interfaces for optical character recognition, AI-driven financial products, and other personalized services. Last month, it was named a Technology Pioneer by the …