Get the latest news, advances in research, policy work, and education program updates from HAI in your inbox weekly.
Sign Up For Latest News
A eureka moment is a two-step process: discovering something new and surprising, and establishing that it is correct. Drawing on her work at Axiom, Carina will discuss the transition from solving mathematical benchmarks to contributing to research, and from proving individual theorems to formalizing mathematical theories in Lean.

A eureka moment is a two-step process: discovering something new and surprising, and establishing that it is correct. Drawing on her work at Axiom, Carina will discuss the transition from solving mathematical benchmarks to contributing to research, and from proving individual theorems to formalizing mathematical theories in Lean.
A Center for Neural Data Science Seminar Series

A Center for Neural Data Science Seminar Series
Dr. Kendrick Kay is an Associate Professor at the Center for Magnetic Resonance Research at the University of Minnesota. Research in his Computational Visual Neuroscience lab (http://cvnlab.net) focuses on understanding the computational principles by which the brain processes visual information, and lies at the intersection of cognitive neuroscience, functional magnetic resonance imaging methods, and computational modeling. He is known for advancing high-resolution fMRI methods and for developing quantitative models that describe neural computations in the visual cortex. Dr. Kay's lab has created large-scale datasets and tools that have become widely used across the human neuroscience community.
We discuss our vision of "intensive neuroimaging" in which cognitive phenomena are extensively sampled in order to support computational modeling and detailed investigation of brain function. Importantly, intensive neuroimaging does not simply mean collecting more data --- it seeks to also maximize data quality and design experiments that enable rich hypothesis spaces. As case examples, I will discuss the large-scale 7T fMRI Natural Scenes Dataset (NSD), consisting of whole-brain BOLD responses while each of 8 participants viewed tens of thousands of natural scenes over the course of 30-40 scan sessions, as well as our ongoing Visual Cognition Dataset (VCD) which seeks to broadly sample how different tasks influence visually evoked responses in the human brain.
Seminars attendees are invited to stay for a happy hour reception after the seminar to continue the conversation with the speaker.
For additional information and upcoming events, please visit the seminar series page
Stay updated on groundbreaking insights from the Center for Neural Data Science by subscribing to the Center's listserv! Click here to subscribe: neural-data-science@lists.stanford.edu