Seminars

Abstract: Neuroscience and AI share a bottleneck: while one can build (artificial) or record (biological) complex networks, we struggle to explain their functional circuitry; i.e., how they compute. In this… Read More »Neural Circuit Discovery via Representation and Dynamics by Savik Kinger

Speaker: Ms. Ajita Shree is a PhD student in the Department of Computer Science and Engineering at IIT Kanpur and will be joining EMBL-EBI, UK, as a postdoctoral researcher. Abstract: Recent… Read More »Deep generative models for single-cell and spatial genomics by Ajita Shree

Venue: Bharti501 Abstract: Authenticated data structures (ADSs) allow untrusted third parties to carry out operations which produce proofs that can be used to verify an operation’s output. Such data structures… Read More »Logical Relations for Formally Verified Authenticated Data Structures by Chaitanya Agarwal