Class Schedule Listing |
Fall 2025 Semester
Sep 14, 2026 |
|
 |
||
| Smart Contracts and Analysis - 18448 - CS 4973 - 04 | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
The course will cover topics in program analysis, focusing on smart contracts. We will explore the world of blockchains and smart contracts, focusing on Solidity programs running on Ethereum, and using tools such as Remix and Foundry. We will also explore verification techniques (theorem proving, model checking, inductive invariants, and more) using tools such as TLA+, Z3, Dafny, and Lean. We may also touch a bit on cryptography and zero knowledge proofs.
The course is a seminar and requires active participation from students. The course is open to advanced undergraduates and graduate students. Students are expected to read and write code, papers, online material, etc., and also present such material and lead classroom discussions.
Associated Term: Fall 2025 Semester Registration Dates: Apr 01, 2025 to Sep 16, 2025 Levels: Undergraduate Attributes: Topics Course, Computer&Info Sci Boston Campus Lecture Schedule Type Traditional Instructional Method 4.000 Credits View Catalog Entry
|
||||||||||||||||||||||||
| Intro to Computer Vision - 18449 - CS 4973 - 05 | ||||||||||||||||||||||||
|
Computer vision algorithms attempt to make sense of photographs, videos, and other imagery. Applications include autonomous driving, medical image analysis, entertainment, security, media search, augmented/virtual reality, among many others. In this course, we will cover many of the basic concepts and algorithms of computer vision spanning both geometry and semantics: lighting, filters, texture, interest points, tracking, single- and multi-view geometry, deep neural networks for segmentation, recognition, and detection in computer vision, and so on. The focus of the course is to develop the intuitions and mathematics of the methods in lectures and then to learn about the difference between theory and practice in the programming assignments and course project. At the end of the course, students will be prepared for any further vision-related investigation and application.
Associated Term: Fall 2025 Semester Registration Dates: Apr 01, 2025 to Sep 16, 2025 Levels: Undergraduate Attributes: Topics Course, Computer&Info Sci Boston Campus Lecture Schedule Type Traditional Instructional Method 4.000 Credits View Catalog Entry
|
||||||||||||||||||||||||
| Mechanics & Philosophy of LLMs - 18451 - CS 4973 - 07 | ||||||||||||||||||||||||
|
Covers the internal components of large language models (LLMs), the data and technological systems necessary to build and deploy them, and the real-world applications, effects, and lines of philosophical inquiry around these models. Key concepts include computational knowledge representation, data and scale, computing infrastructure, opportunities and limitations posed by such models, and key threads of ethical inquiry surrounding them. Students will learn the history of LLMs as situated in the history of computing and automatic translation technologies. Students will study the practical capabilities and limitations of these models, explore the various contexts in which they are currently deployed, and explore the technological, societal, and environmental impacts of these technologies. This course does not teach students to program, nor does it expect students to program. This course is co-taught between Computer Science and Philosophy. Non-Majors Welcome!
Associated Term: Fall 2025 Semester Registration Dates: Apr 01, 2025 to Sep 16, 2025 Levels: Undergraduate Attributes: Topics Course, Computer&Info Sci Boston Campus Lecture Schedule Type Traditional Instructional Method 4.000 Credits View Catalog Entry
|
||||||||||||||||||||||||
| Understanding Users - 18452 - CS 4973 - 08 | ||||||||||||||||||||||||
|
Introduces basic and advanced frameworks and methodological tools for understanding and accounting for the characteristics, needs, and attitudes of individual users and user groups. Covers how to better understand users from both a system design and sociotechnical system critique perspective via qualitative, interpretivist, and community-focused methods, as well as how to account for how users themselves understand and adapt to systems via approaches including mental models and folk theorization.
Associated Term: Fall 2025 Semester Registration Dates: Apr 01, 2025 to Sep 16, 2025 Levels: Undergraduate Attributes: Topics Course, Computer&Info Sci Boston Campus Lecture Schedule Type Traditional Instructional Method 4.000 Credits Syllabus Available View Catalog Entry
|
||||||||||||||||||||||||
| Projects in Cloud Computing - 20649 - CS 4973 - 10 | ||||||||||||||||||||||||
|
Associated Term: Fall 2025 Semester
Registration Dates: Apr 01, 2025 to Sep 16, 2025 Levels: Undergraduate Attributes: Topics Course, Computer&Info Sci Seattle, WA Campus Lecture Schedule Type Traditional Instructional Method 4.000 Credits View Catalog Entry
|
||||||||||||||||||||||||
| Advanced Database Systems - 20641 - CS 4973 - 11 | ||||||||||||||||||||||||
|
This course is a comprehensive study of the internals of modern database systems and the challenges of indexing and querying large-scale data in the context of continuously evolving hardware. It will cover the core concepts and fundamentals of indexing and hashing data structures, concurrency control, storage, file organization, and query processing. The course will study both the in-memory and disk-based database systems and will use examples from modern key-value stores. All the class projects will be in the context of real in-memory and disk-based database systems. The course is appropriate for graduate students in software systems and for advanced undergraduates with systems programming skills.
https://khoury.northeastern.edu/home/pandey/courses/cs7280-adbs/fall25/index.html
Associated Term: Fall 2025 Semester Registration Dates: Apr 01, 2025 to Sep 16, 2025 Levels: Undergraduate Attributes: Topics Course, Computer&Info Sci Boston Campus Lecture Schedule Type Traditional Instructional Method 4.000 Credits View Catalog Entry
|
||||||||||||||||||||||||
| Projects in Full-Stack Dev - 21384 - CS 4973 - 12 | ||||||||||||||||||||||||
|
Limited to students enrolled in Seattle Microsoft program.
Associated Term: Fall 2025 Semester Registration Dates: Apr 01, 2025 to Sep 16, 2025 Levels: Undergraduate Attributes: Topics Course, Computer&Info Sci Seattle, WA Campus Lecture Schedule Type Traditional Instructional Method 4.000 Credits View Catalog Entry
|
| Return to Previous |
|
