The field of human-robot interaction (HRI) is rapidly emerging as a significant interdisciplinary research area that focuses on developing robotic technologies and interfaces that enable robots to ...

Neel Somani has built a career that sits at the intersection of theory and practice. His work spans formal methods, mac ...

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 ...

In the Department of Computer Science at Northwestern University, undergraduate students have ample, rich, and varied opportunities for conducting practical research in labs alongside graduate ...

Existing algorithms can partially reconstruct the shape of a single tree from a clean point-cloud dataset acquired by ...

Students who come to Michigan Tech tend to be as excited about research as they are about outdoor recreation opportunities.

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 ...