Explores the implementation of an Octagon Abstract Interpreter for C programs, covering abstract interpretation, octagonal constraints, closures, pointers, and the FrontC parser.
Explores memory aid for the human brain, focusing on opportunities to study human memory, single cell recordings, and the representation of space, time, and objects.
Explores data from the mouse primary visual cortex, focusing on visual information encoding, transformation, diversity of responses, and locomotion modulation.
