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
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
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
Abstract: This talk explores a novel approach to speeding up complex database queries by combining two powerful ideas: factorization and vectorized execution. Instead of processing large intermediate results (which can… Read More »Faster Queries, Smarter Execution: Factorization Meets Vectorization in Modern Data Systems
Abstract: In many settings, a finite supply of some public resource is allocated among people over time, without using money: a computing cluster among researchers, food among food-banks, medical supplies between… Read More »The Mathematics (and Ethics) of Fair Resource Allocation by Dr. Siddhartha Banerjee (Cornell University)
Abstract: The Pigeonhole Equal Subset Sum problem (PESS), introduced by Papadimitriou (1994), asks: given n positive integers bounded by M with total sum less than 2^n − 1, find two… Read More »Finding Equal Subset Sums in the Pigeonhole Regime by Dr. Pranjal Dutta
Abstract: A common denominator of conventional financial systems, trusted execution environments (like SGX), blockchain technology, and ZK-rollups is the promise of computational integrity -- doing the right computation on potentially secret… Read More »Cryptographic proofs for privacy and integrity by Prof. Chaya Ganesh (IISc)
Abstract: The convergence of artificial intelligence (AI), the Internet of Things (IoT), cloud-edge computing, and autonomous cyber-physical systems is transforming critical infrastructures across healthcare, manufacturing, transportation, and smart cities. As… Read More »Building Trustworthy Intelligent Systems for Critical Infrastructures by Dr. Geetanjali
Abstract: Modern Internet-scale services must identify and mitigate customer-impacting incidents quickly. Despite the development of many Root Cause Analysis (RCA) algorithms—including recent LLM-assisted solutions—existing approaches struggle with the "long tail"… Read More »Abstractions for expressive, extensible, and scalable root cause analysis by Dr. Vipul Harsh
Abstract: We will discuss two new frontiers in science. 1) Autonomous AI Scientists: Research conducted by autonomous AI scientist systems is rapidly increasing in prevalence. These systems execute the entire research… Read More »Two New Frontiers in Science: Autonomous AI Scientists and Lotteries for Acceptance Decisions by Prof Nihar Shah
