The number of scientific papers is growing so rapidly that scientists are no longer able to keep track of all of them, even ...

Conducting research is hard; confirming the results is, too. And artificial intelligence isn’t yet ready to help, a major new ...

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

Transformational technologies like artificial intelligence and machine learning profoundly impact the legal landscape, both in terms of how computation is changing legal systems and law practice and ...

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