New research from the University of Waterloo is making inroads on one of the biggest problems in theoretical computer science ...

In addition to our faculty's individual research, much research and development takes place in computer science laboratories. Some of these labs are highlighted below. The COSI 119a Brandeis ...

Faculty members in the department are actively engaged in research in the areas listed below. There are many opportunities for both undergraduate and graduate students to participate in these ...

The Computer Science department conducts research in a wide range of fields. Currently, we have labs actively engaged in the following areas: Artificial Intelligence, Shape Modeling, Data Mining, ...

The Electrical Engineering and Computer Science (EECS) Department is committed to excellence in teaching, research, and service. Distinguished faculty conduct world-class research and their ...

Pune, an Autonomous Institution of the Ministry of Education, Govt. of India; Dr. Homi Bhabha Road, Pune 411008; has invited ...

My general research interests are in the logic, semantics, and implementation of programming languages. In particular, I am interested in using logic to help design and verify that software systems ...