Spring 2026, Wednesdays 2 to 3:20 pm, NCS 220 and Zoom link to be announced soon.

The seminar will be jointly taught by Prof. Dimitris Samaras (samaras@cs.stonybrook.edu).

The overall purpose of this seminar is to bring together people with interests in Computer Vision theory and techniques and to examine current research issues. This course will be appropriate for people who already took a Computer Vision graduate course or already had research experience in Computer Vision.

To enroll in this course, you must either: (1) be in the Ph.D. program or (2) receive permission from the instructors.

Each seminar will consist of multiple short talks (around 15 minutes) by multiple students. Students can register for 1 credit for CSE656. Registered students must attend and present a minimum of 2 talks. Registered students must attend in person. Up to 3 absences will be excused. Everyone else is welcome to attend.

Over the past decade, researchers in neuroscience, psychology and artificial intelligence have come together to build advanced computer models that mimic how our brain processes what we see. These models are designed to closely copy the brain's visual system, all the way to a key area called the inferior temporal cortex, which plays an important role in recognizing objects.

Because these computer models can be fully observed, scientists can use them to make detailed predictions about how the brain works -- something older, more theoretical models could not do.

Dr. James DiCarlo's work explores whether these computer digital twin models of the brain could help guide safe, non- invasive ways to infl uence brain activity. In his talk, he explains how such a model could be used to design specific patterns of light. When this carefully designed light is added to what the eye naturally sees, it can precisely influence activity in groups of neurons in the inferior temporal cortex.

Since neural activity in this visual brain area may be connected to emotional states like anxiety, this research could eventually open the door to non-invasive approaches that may benefit mental well-being in the future.

Speaker: James J. DiCarlo, MD, PhD, Peter de Florez Professor, MIT Brain and Cognitive Sciences, and Director, MIT Siegel Family Quest for Intelligence

Location: Staller Center Main Stage

The event will be livestreamed at stonybrook.edu/live

You are cordially invited to attend the biweekly Brookhaven AI Mixer (BAM). BAM includes one short talk on AI research happening at BNL, followed by an open mixer over coffee and snacks for everyone to network and discuss all things AI. The first half hour will consist of presentations that will be available via ZOOM, and the second half hour will be for in person only networking.

Join us every other Tuesday at noon in CDSD's Training Room (building 725, 2nd floor) to learn about interesting AI methods and applications, engage with potential collaborators, prepare for pending FASST funding calls, and build a community of AI for Science at BNL.

AI for Neutrino Oscillation Fits

Abstract: Neutrino oscillation experiments face the problem of performing likelihood fits in a very highdimensional space to extract the oscillation parameters from measured spectra. The current strategy for this is to fix all but a few parameters, reducing the dimensionality of the fit to a manageable number, but this risks missing correlations between the parameters, which can impact the systematics of the measurement. This is an area where artificial intelligence and machine learning could make great improvements. I will discuss the problem, explain how it is currently dealt with, and sketch one possible way of implementing AI to solve it, using a sampling method combining Smolyak's algorithm, for efficient sampling using sparse grids, with an adaptive grid refinement to increase sampling in regions that are more likely to contain the global minimum.

Speaker: Steven Linden is a physicist in the Instrumentation Department at BNL working on neutrino and dark matter experiments. He got his PhD from Yale in 2010 doing analysis on the MiniBooNE experiment and then worked on various dark matter detectors (MiniCLEAN, Pico, SENSEI) at SNOLAB in Canada for nearly ten years before moving to BNL.

Location: CDS, Bldg. 725, Training Room

Join ZoomGov Meeting: https://bnl.zoomgov.com/j/1614473319?pwd=e4QSSgFHqDzHx870ixJpwuG3yqBere.1

Meeting ID: 161 447 3319
Passcode: 733283

Kate Armstrong, a Vancouver-based artist, writer, and independent curator, will explore the role of AI in art and creativity through three AI-driven projects: KEKE Terminal, Botto, and Sasha Stiles' AI collaborator Technelegy. She will compare these projects to historical artistic movements and investigate AI's role as an autonomous creative agent, the function of community participation, and the shifting dynamics of authorship.

Location: Humanities Institute Room 1008

The Future Histories Studio at Stony Brook University and Guggenheim New York are collaborating to present a day-long symposium on October 24 at the Simons Center for Geometry and Physics. This conference will explore urgent questions at the intersection of artificial intelligence, machine learning, and the human, and is co-organized by Noam Segal, LG Electronics Associate Curator at Guggenheim New York. In this role, Noam plays an important part in researching these topics, promoting a deeper understanding of the ways in which contemporary artists use new technologies, and developing and supporting the Guggenheim's engagement with technology-based art under the LG Guggenheim Art and Technology Initiative.

The event examines the profound transformations brought by automation--how AI compels us to rethink cognition, agency, and the conditions of reason itself. As these systems become ever more embedded in daily life--largely invisible yet deeply consequential--they challenge the very foundations of subjectivity and governance. We are surrounded by logics we cannot fully access, yet which shape our realities, while new forms of alterity arise--distinct modes of reasoning that propose collective unknowns beyond established frameworks of knowledge.

This emerging terrain invites us to consider cognitive plurality, where biological and technological intelligences generate new categories, concepts, and understandings. Once unique to humans--art, authorship, judgment, invention--are now co-articulated with systems of computation and planetary-scale infrastructure. The symposium brings together artists, scholars, and technologists to probe the cultural, philosophical, and ecological implications of this entanglement.

The concept of neurodiversity has shown that neurological differences such as autism, ADHD, and dyslexia are not deficits but variations that enrich collective life. Extending this to machines can be provocative: just as neurodivergence unsettles fixed definitions of intelligence, so too AI challenges anthropocentric assumptions about cognition. Yet the analogy is limited. Neurodiversity is rooted in the lived struggles of human communities, while machines neither think nor struggle. Human cognition involves perception, learning, memory, and reasoning through embodied experience. Machine cognition, by contrast, is computational pattern recognition and statistical modeling, without consciousness or lived context, and with only narrow forms of sensing.

For this reason, the symposium advances a broader framework of cognitive diversity or technodiversity--a recognition of proliferating intelligences, human, machinic, and hybrid, as part of a shared ecology. This shift calls for new models of creativity, responsibility, and collaboration that honor the irreducibility of human thought while engaging the radical alterity of machine logics.

Location: Stony Brook Simons Center for Geometry and Physics, Della Pietra Family Auditorium

This event is co organized by the Guggenheim New York

Please join us on Friday for a CSE 600 talk by CS Faculty, Stanley Bak. During this semester, please periodically check the CSE 600 schedule for the latest talk updates.

Title:  Formal Verification Methods for Cyber-Physical Systems and Neural Networks

Time: Friday 4/1, 2:40 PM

Location:  NCS 120

Abstract: Formal verification methods in Computer Science strive to prove properties about all possible executions of a system, and are an alternative development approach to testing when correctness is paramount. Traditionally these have been applied to hardware circuits, state-machine protocols, or software source code. Prof. Stanley Bak will discuss his research on extending formal verification approaches to more complex areas including cyber-physical systems and neural networks.


Speaker Bio: Stanley Bak is an assistant professor in the Department of Computer Science at Stony Brook University investigating the verification of autonomy, cyber-physical systems, and neural networks. He received a PhD from the University of Illinois at Urbana-Champaign (UIUC) in 2013, and worked for four years in the Verification and Validation (V&V) group in the Aerospace Systems Directorate at the Air Force Research Laboratory (AFRL). He received the AFOSR Young Investigator Research Program (YIP) award in 2020.

Postmortem Program Analysis from a Conventional Program Analysis Method to an AI-assisted Approach

Abstract: Despite the best efforts of developers, software inevitably contains flaws that may be leveraged as security vulnerabilities. Modern operating systems integrate various security mechanisms to prevent software faults from being exploited. To bypass these defenses and hijack program execution, an attacker needs to constantly mutate an exploit and make many attempts. While in their attempts, the exploit triggers a security vulnerability and makes the running process abnormally terminate.

After a program has crashed and abnormally terminated, it typically leaves behind a snapshot of its crashing state in the form of a core dump. While a core dump carries a large amount of information, which has long been used for software debugging, it barely serves as informative debugging aids in locating software faults, particularly memory corruption vulnerabilities. As such, previous research mainly seeks fully reproducible execution tracing to identify software vulnerabilities in crashes. However, such techniques are usually impractical for complex programs. Even for simple programs, the overhead of fully reproducible tracing may only be acceptable at the time of in-house testing.

In this talk, I will discuss how we tackle this issue by bridging program analysis with artificial intelligence (AI). More specifically, I will first talk about the history of postmortem program analysis, characterizing and disclosing their limitations. Second, I will introduce how we design a new reverse-execution approach for postmortem program analysis. Third, I will discuss how we integrate AI into our reverse-execution method to escalate its analysis efficiency and accuracy. Last but not least, as part of this talk, I will demonstrate the effectiveness of this AI-assisted postmortem program analysis framework by using massive amounts of real-world programs.

Bio: Dr. Xinyu Xing is an Assistant Professor at Pennsylvania State University. His research interests include exploring, designing and developing new program analysis and AI techniques to automate vulnerability discovery, failure reproduction, vulnerability diagnosis (and triage), exploit and security patch generation. His past research has been featured by many mainstream media and received the best paper awards from ACM CCS and ACSAC. Going beyond academic research, he also actively participates and hosts many world-class cybersecurity competitions (such as HITB and XCTF). As the founder of JD-OMEGA, his team has been selected for DEFCON/GeekPwn AI challenge grand final at Las Vegas. Currently, his research is mainly supported by NSF, ONR, NSA and industry partners.
The INS (International Neuroethics Society) AI and Consciousness Affinity Group is hosting a talk titled Bringing Trustworthiness in Generative AI and Agentic AI Using Thought Knowledge Graphs featuring speaker Manas Gaur, a computer scientist at UMBC.
The talk will examine the interplay between Thought Knowledge Graphs (TKGs) and how they can form more trustworthy and reasoning-based responses in AI. They will also discuss introducing novel methods on implementing TKGs and their overall impact on creating more trustworthy AI systems.
The talk will be held online via Zoom on Monday, December 2 at 1:00pm (EST).
Register to attend.