Prof. Stanley Eisenstat is a new SIAM Fellow for development and analysis of fast computational algorithms for linear and nonlinear systems of equations. Members were...
Prof. Ruzica Piskac is among the winners of the Facebook Communications & Networking research awards in the area of Automated Repair and Verification of Firewalls.
https...
Prof. Brian Scassellati’s Social Robotics lab presented three papers at the Human-Robot Interaction conference (HRI) 2018. Aditi Ramachandran showed how robots can help...
Prof. Brian Scassellati and several authors address the current state of robotics, examining 10 challenges of the field in the article “The grand challenges of Science...
“A lot of people are excited about blockchain not because of the money they can make, but because they believe in a decentralized community,” says Zhong Shao, Thomas L....
Zhong Shao, newly designated as the Thomas L. Kempner Professor of Computer Science, focuses his research on programming languages, compilers, formal methods, and operating...