Typechecking Uses of the jQuery Language
- Posted by Benjamin Lerner
- on Jan. 17, 2014
A group of Brown CS and RISD students are hosting Hack@Brown, the first annual Brown University hackathon January 24-25 in Alumnae Hall! 250 students from Brown/RISD and other schools in the northeast plus engineers from Dropbox, Google, Venmo (and more) will form teams and build a project in 24 hours. Teams …
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 …
The class Virtual Reality Design for Science taught by Brown Computer Science Professor David Laidlaw, Brown Biology Professor Sharon Swartz, and RISD Illustration Professor Fritz Drury is a featured news item on Brown's website. One class project centered on a 3-D visualization of the flight of bats and was showcased …
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 …
Associate Professor Chad Jenkins and Henry Evans presented a great talk about using robots to improve the quality of life for the physically disabled at the TEDxMidAtlantic 2013 conference in Washington, D.C. Henry, who is a mute quadriplegic, presented remotely via a Beam mobile telepresence system from his home in …
David Laidlaw, Professor of Computer Science, has been named a 2014 IEEE Fellow for contributions to data visualization and analytics. His main contributions to computer science are threefold: developing scientific data visualization solutions; pioneering evaluation of visualization software for scientific inquiry; and transitioning visualization insights to quantitative evidence.The software systems …
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 …