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 inputs, even when there is no trust.   In this talk, we will define computational integrity and show how one can verify the correctness of a… 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 these technologies become increasingly interconnected, ensuring that they operate in a secure, reliable, explainable, and privacy-preserving manner has emerged as a fundamental research challenge. This… 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" of novel failure modes and the sheer scale of telemetry. In this talk, I argue that the path forward requires a paradigm shift: from developing… 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 process autonomously, with little or no human intervention. While papers generated may appear appealing, we investigate whether these systems follow rigorous research methodologies. Using novel… Read More »Two New Frontiers in Science: Autonomous AI Scientists and Lotteries for Acceptance Decisions by Prof Nihar Shah

In this talk I will start by describing a protocol called magic state distillation, which was first introduced by Bravyi and Kitaev in 2005. This protocol uses quantum error-correcting codes and noisy magic states to perform universal fault-tolerant quantum computation. I will then explain how the performance of a certain class of magic state distillation… Read More »Weight Enumerators and Magic State Distillation by Dr. Amolak Kalra

Abstract: What can be learned from data? Traditional answers to this question assume an idealized data-generating process where test and training distributions are symmetric, which is rarely the case in applications. In this talk, we will revisit this question for positive-only learning, a setting where only positive examples are observed. This is a challenging problem… Read More »Foundations of Learning from Positive Samples by Dr. Anay Mehrotra

Abstract: The volume of data generated worldwide is growing at an unprecedented rate, and GPUs have emerged as the primary compute engine for processing this data. While GPUs offer massive compute power — reaching thousands of TFLOPS — they are constrained by the relatively low memory bandwidth (around a few TB/s) and limited memory capacity… Read More »Scaling Up GPU Memory Management by Dr. Pratheek B

Abstract:  We are living in an era where our digital lives are increasingly interdependent and deeply interconnected. These connections rely on a vast, layered ecosystem of actors—many of whose trustworthiness is uncertain or outright suspect. Over the past three decades, rapid advances in computing and communication technologies have brought unprecedented access and connectivity to billions… Read More »Trust in an Untrusted World: Private Access over Public Infrastructures by Prof. Divy Agrawal

Abstract: A set of indivisible goods, e.g., a car, a house, a toothbrush, . . .  has to be split among a set of agents in a fair manner. Each agent has its own valuation function for sets of goods. What constitutes a fair allocation? When does a fair allocation exist? If it exists, can… Read More »Who Gets What? Fair Division of Indivisible Goods by Prof. Kurt Mehlhorn

Abstract: We consider non-atomic games in populations provided with a choice of preventive policies to act against a contagion spreading amongst interacting populations, be it biological organisms or connected computing devices. The spreading model of the contagion is the standard SIR model. Each participant in the population has a choice from amongst a set of… Read More »Contagion and Control-Policy Games by Prof. Sanjiv Kapoor