We bring in a variety of speakers to campus to talk about things that might not normally be covered in our classes. When possible, these seminars are recorded and made available to current students ...

This seminar is designed for undergraduate students, especially if you're interested in getting involved with undergraduate research or considering grad school. We want to foster meaningful ...

This course is a seminar organized around readings and discussions of research papers on Programming Languages (PL). Each incarnation of the course will take a deep dive into a different topic of PL ...

Permission of instructor. This course is open to graduate students in cognitive science who are interested in knowledge representation. No programming will be required. How people reason and learn ...

Software ecosystems, such as npm, Maven, and PyPI, have completely changed how we develop software. By providing a platform of reusable libraries and packages, software ecosystems have enabled ...

The need for more autonomy in many systems (e.g., automotive, aerospace) leads to increasingly complex systems that are becoming harder to verify and certify. This problem is compounded by the rising ...