Venue: Bharti-501/MS Teams Abstract: The goal of error correcting codes is to encode data in a way that allows for this data to be recovered even if the encoded copy is… Read More »Coping with choices – List Decoding in Coding Theory by Dr. Shashank Srivastava
Venue: SIT001 Abstract: The vast expansion of online information has shifted the challenge from simply locating data to efficiently filtering and aggregating relevant content from diverse sources. This talk introduces innovative… Read More »Agentic Information Seeking for Knowledge Acquisition by Revanth Reddy
Venue: SIT113 Abstract: The Android operating system uses a permission framework that allows users to control access to their private data, such as location and contacts, when using apps. However, many… Read More »WhiteLie: A Robust System for Spoofing User Data in Android Platforms by Harish Yadav
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
Venue: Bharti 501 Abstract: As Language Model Systems (LMS) are deployed across an expanding range of applications, aligning them with human ethics has become crucial. Although recent works propose methods to… Read More »Lumos: A DSL for Language Model System Certification by Isha Chaudhary
Venue: Bharti501 Abstract: Fluorescence microscopy is limited by optics, fuorophore chemistry, and photon exposure, forcing trade-ofs in speed, resolution, and depth. In this talk, I will discuss my PhD research… Read More »Image decomposition with Fluorescence Microscopy Data by Ashesh
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: Understanding the algebraic complexity class VNP through alternative characterizations is a central theme in algebraic complexity theory, closely tied to the VP vs. VNP problem. While the… Read More »A new characterization of VNP via colored determinant by Dr. Prasad Chaugule
Venue: Bharti501 Abstract: In a digraph, a dicut is a cut where all the arcs cross in one direction. A dijoin is a subset of arcs that intersects each dicut.… Read More »Approximately Packing Dijoins Via Nowhere-Zero Flows by Dr. Ravi
Venue: SIT001 Abstract: The development of new reaction methodology could become a tedious task demanding both time and resources. The application of machine learning (ML) approaches for reaction optimization and… Read More »Molecular Machine Learning for Chemical Catalysis by Dr. Sukriti Singh
