Brown CS Blog

New Course Offering: Logic for Hackers

In Spring 2014 Shriram Krishnamurthi and I will be co-teaching a new course called Logic for Hackers. The course will showcase the surprising power that logical techniques such as SAT-solving, model-checking, and automated model-finding lend to developing reliable software.Students are often introduced to logic only from a theoretical perspective, and …

Alumna Sarah Meiklejohn in The New York Times

Brown CS alumna  Sarah Meiklejohn (Sc.B. 2008, Sc.M. 2009 under the guidance of Professor Anna Lysyanskaya) was quoted in a New York Times article published December 5, 2013, regarding Bitcoin fraud.Sarah is a fifth year Ph.D. student at the University of California, San Diego. She has broad research interests in …

Brown Robotics Purchases a Baxter Robot

Professors Chad Jenkins and Stefanie Tellex and the students of Brown Robotics with the new Baxter Research RobotChristmas arrived earlier this week to the Brown Robotics lab. The faculty and students of Brown Robotics unpacked the newest addition to the lab, a Baxter Research Robot designed and built by Rethink …

Ph.D. student Layla Oesper Chosen to Participate in the SuperComputing13 Conference in Denver, November 2013

Fourth year Computer Science Ph.D. student Layla Oesper was one of three students chosen by the Rhode Island NSF Experimental Program to Stimulate Competitive Research (EPSCoR) program to represent the state at Supercomputing13, November 17-22, 2013, in Denver, Colorado.A full story was published in The Brown Daily Herald on September …

Artemis 2013

by Karishma Bhatia and April Tran Community outreach connects Brown CS students to the Providence area. For more articles on how Brown CS students inspire and lead members of the greater Providence community click here.On the surface, Artemis is a summer program geared towards teaching young girls computer skills, programming, …

Chad Jenkins Speaks at National Geographic's Explorer Symposium

None

Associate Professor Chad Jenkins was named a 2013 National Geographic Emerging Explorer for his research in Human-Robot Interaction, enabling new capabilities for robots to learn from and interact with humans. National Geographic's Emerging Explorers Program recognizes and supports uniquely gifted and inspiring explorers who are already making a difference early in …