Fall 2025

CSE 510 Quantum Computing (Via Linear Algebra) (Lecture)
Section: REG
Instructor: Kenneth Regan
Description: This is the graduate section of the regularly listed course CSE439 with the same title, making it a 4xx/5xx course. For information, see https://cse.buffalo.edu/~regan/cse439/
URL: https://cse.buffalo.edu/~regan/cse439/
Instruction Mode: In person
Class #: 21518
Dates: 08/25/2025 - 12/08/2025
Days, Time: TR, 12:30PM-1:50PM
Location: Norton 216, North Campus
Credit Hours: 1-3
Enrollment: 1/10 (Active)
Info:
CSE 510 GenAI (Lecture)
Section: SREY
Instructor: Sreyasee Das Bhattacharjee
Description: This course is intended for Computer Science students who are interested in understanding the fundamental issues, challenges and techniques that are associated with recent advances in Generative Artificial Intelligence (Generative AI). The course will discuss the history and properties of basic Generative AI systems including foundational probabilistic principles of generative models, their learning algorithms, and several state-of-the-art model families, which include variational autoencoders, generative adversarial networks, autoregressive models, flow based models, energy based models, and diffusion models. The course will be a combination of lectures, discussions, hands-on activities and projects. During the entire course, students will also learn about different applications in domains like computer vision, natural language processing, healthcare, etc.
Prereqs: CSE 574, or, CSE555, or equivalent graduate level courses on AI topics
Instruction Mode: In person
Class #: 23173
Dates: 08/25/2025 - 12/08/2025
Days, Time: TR, 3:30PM-4:50PM
Location: Frnczk 454, North Campus
Credit Hours: 1-3
Enrollment: 7/20 (0/20 seats reserved: force registration only) (Active)
Info:
CSE 702 Effective and Usable Formal Methods (Seminar)
Section: GOL
Instructor: Harrison Goldstein
Description: Formal methods tools are used by developers and researchers to model and validate software correctness. These tools meet two different objectives simultaneously. They must be effective, so users have a reason to apply them in a given domain. And they must also be usable and understandable by those who would hope to apply them. In this course, we will read papers that examine formal methods tools and how they address (or fail to address) these dual objectives. We will look at formal methods tools like interactive theorem provers, automated theorem provers, property-based testing, and more. By the end of the course, students will have a better understanding of available formal methods tools, how they are designed, and how one might successfully design new ones. Students should have a strong background in functional programming and ideally some experience with formal methods tools (e.g., Rocq, Lean, Dafny, property-based testing, etc.).
Instruction Mode: In person
Class #: 24282
Dates: 08/25/2025 - 12/08/2025
Days, Time: M, 1:00PM-3:50PM
Location: Baldy 119, North Campus
Credit Hours: 1-3
Enrollment: 9/20 (Active)
Info:
CSE 706 3D Human Behavior Modeling (Seminar)
Section: NWO
Instructor: Ifeoma Nwogu
Description: In this seminar, we will be going through the literature of 3D human body modeling from a computer vision perspective. I will likely give a few lectures, maybe about 4 or so, but for less than half the semester. Students will then give presentations for the rest of the semester. We will also do a coding project due at the end of the semester. Based on the number of students who enroll, we might have 1-person projects or projects in teams of 2's. Over the course of the semester, I will have some sample code for students to run, and we will probably be doing a lot of work in Colab. We will explore 3D features for body, face and hands and use standard motion models to learn more about quantifying human behaviors.
Prereqs: CSE 574 or equivalent
Coreqs: CSE 573
Instruction Mode: In person
Class #: 23095
Dates: 08/25/2025 - 12/08/2025
Days, Time: R, 3:30PM-6:20PM
Location: Bell 325, North Campus
Credit Hours: 1-3
Enrollment: 12/15 (Active)
Info:
CSE 708 Programming Massively Parallel Computers (Seminar)
Section: MILL
Instructor: Russ Miller
Description: The focus of this course is experimental (hands-on) parallel computing. Each student is responsible for a semester-long project of their choosing. Seminars are graded S/U. Grade is based on the project, as well as two formal talks, using presentation software (e.g., PowerPoint), that covers your project, including a definition and justification of the problem, sequential and parallel solution strategies, and a significant set of running times on large parallel systems that allow for an analysis and explanation of Amdahl's and Gustafson's speedups. In particular, the first talk provides a brief explanation of the proposed project, goals, expectations, and a timeline of the work to be performed. The second talk provides a summary of accomplishments. Students are encouraged to look at the final talks from previous semesters, available on my website. Historically, it has been the case that a successfully completed project satisfies the requirement for a project in the M.S. program. Please check with the grad coordinator to see if this is still the case. (The student who completes the project successfully is responsible for filling out the proper paperwork and presenting it to Dr. Miller for a signature.) NB: There will be a cap on the number of students allowed to enroll in the course, so that those who are enrolled will have a full experience and educational opportunity.
Instruction Mode: Remote: real time
Class #: 19922
Dates: 08/25/2025 - 12/08/2025
Days, Time: T, 5:00PM-7:50PM
Location: Remote
Credit Hours: 1-3
Enrollment: 10/20 (Active)
Info:
CSE 710 Advanced Seminar on Foundation Models (Seminar)
Section: LOKH
Instructor: Vishnu Lokhande
Description: This course will explore the cutting-edge field of foundation models, which have transformed contemporary machine learning on a wide range of tasks after being trained on enormous volumes of raw data. We will examine the fundamental ideas that underpin the effectiveness or shortcomings of these models in this advanced course, with a focus on their reliability and trustworthiness. Students will engage with recent developments in the literature, focusing on vision-language models, and will also explore large language models and vision-audio models. Depending on time, the course may extend into the application of these models in generating visual, audio, and video content. The course will be structured with both readings of critical papers and expert-led presentations. Throughout the semester, each student will give one or two lectures. They must turn in a draft of their slide deck at least 24 hours in advance. Students will also have the chance to embark on a research project that will result in a 5-page paper written in the NeurIPS style.
Notes: https://docs.google.com/document/d/1m2LqhlYzaxL8KoXpd1tXg3cN2m6YW0T9hnIrETftCRk/pub
Instruction Mode: In person
Class #: 22473
Dates: 08/25/2025 - 12/08/2025
Days, Time: W, 4:00PM-6:40PM
Location: Davis 113A, North Campus
Credit Hours: 1-3
Enrollment: 11/20 (Active)
Info:
CSE 715 Design and Implementation of Applications for Computing with Private Data (Seminar)
Section: MBLA
Instructor: Marina Blanton
Description: The course involves learning about cryptographic techniques that enable secure computation on private data and using them to build privacy-preserving applications that handle private data from multiple sources. The introductory portion of the course will cover several techniques that permit privacy-preserving computation. Consequently, a number of different applications and the corresponding secure computation protocols will be presented and discussed. This will involve reading the assigned articles and presenting them in class.

Another component of the course consists of experimenting with secure multi-party computation tools. Students will become familiar with writing programs for computing on private data, transforming them into secure computation protocols, and executing them on sample data. An important part of the course is the course project that asks students to create their own application and present it at the end of the semester.

The content heavily relies on cryptographic techniques and thus familiarity with security and/or cryptography concepts will make reading the literature easier.
Instruction Mode: In person
Class #: 23093
Dates: 08/25/2025 - 12/08/2025
Days, Time: T, 2:00PM-4:50PM
Location: Baldy 106, North Campus
Credit Hours: 1-3
Enrollment: 8/20 (Active)
Info: