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”

Speaker: Vijay Keswani (Duke University) https://vijaykeswani.github.io/ Details: Apr 8th (Tue) | 4 PM | Online Abstract: As the capabilities of AI have expanded, reports of societal and personal harms related to… Read More »How Do We Build Responsible AI? Towards Fair and Participatory AI Designs

Speaker: Ramneek Kaur, post-doctoral fellow, CSE, IIT Delhi Abstract: With over 70% of India's rural population dependent on agriculture, and 82% of farmers being small and marginal, the availability of… Read More »Impact Assessment of Natural Resource Management (NRM) Interventions in India