Speaker: Raghuvansh Saxena (Tata Institute of Fundamental Research) We show how to convert any circuit of poly-logarithmic depth and polynomial size into a functionally equivalent circuit of polynomial size (and… Read More »Polynomial Size, Short-Circuit Resilient Circuits for NC
Sameer Chauhan, Director-General of the United Nations International Computing Centre (UNICC) is visiting India from 15 February- 21 February and will deliver a talk and interact with faculty and students… Read More »Tech for Good in the Age of Quantum and AI : Sameer Chauhan
Speaker: Navajit Singh Baban (Division of Engineering, Center for Cybersecurity, NYU Abu Dhabi) Abstract: Microfluidic biochips (MBs), a transformative class of lab-on-a-chip devices, are reshaping clinical diagnostics, point-of-care testing,… Read More »Cyber-Physical Security of Microfluidic Biochips: Safeguarding Healthcare in the Era of Global Pandemics and Point-of-Care Testing
Speaker: Kuldeep S. Meel (Georgia Institute of Technology) Abstract: The dominant guiding philosophy in the first sixty years of Computer Science was for designers to design systems that were always correct, and… Read More »Distribution Testing: The New Frontier for Formal Methods
Speaker: Kuldeep S. Meel (Georgia Institute of Technology) Abstract: The dominant guiding philosophy in the first sixty years of Computer Science was for designers to design systems that were always… Read More »Distribution Testing: The New Frontier for Formal Methods
Prof. Venkata Koppula will be giving a talk on Wednesday, March 19th, in Bharti 501. Please note that this is not our usual Monday slot. The talk will begin at… Read More »Delegation and Verification of Quantum Computation
Abstract: Modern data centres serve as a backbone for executing diverse workloads. The growing demand for resources has led to high traffic volumes, requiring clusters to operate at high utilisation.… Read More »The Case for Decentralised Scheduling in Modern Data Centres
Abstract: From social media all the way to satellite images, we are capturing visual data at an unprecedented scale. These images tell a story about our planet. With advances in… Read More »Visual Discovery for Science
Speaker: Surender Baswana, IIT Kanpur Abstract: Mincuts are one of the most well-researched topics in algorithms. In recent years, there has been phenomenal research on algorithms for computing (s,… Read More »An amazing structure for representing all Steiner mincuts of a graph
Abstract: With the recent rise of AI businesses in all industries around the world, AI can also be used to make important decisions for society. However, it is also true… Read More »Regulations, International Standardizations and Technologies to Realize “Trusted AI”
