2025 August: Can AI Outperform Humans in Strategic Game Play? - A Historical Perspective (Keynote Talk at
PGDBA Conclave -- Trilytics 2025,
IIM Kolkata)
2025 February: Formal Methods for Comprehensive Validation of On-Chip Architectural Power Management (HPC-RISC Fusion Workshop,
BITS-Pilani, Hyderabad)
2024 July: AI in Strategic Game Playing (Workshop on HPC and AI,
Centre for Computational and Data Sciences, IIT Kharagpur)
2024 March: Learning to Become Experts in Playing Games: A Time-Traversal through AI Eras (Keynote in ACM Eminent Speaker Program,
RAIT ACM Student Chapter, Navi Mumbai)
2023 July: Policy Optimization in Reinforcement Learning (
Short-Term Online Course on Digital Supply Chain Management,
National Institute of Technology, Calicut)
2023 June: Tryst with Infinity: A Mathematical Poetry (Summer Science Workshop by Science Centre (Midnapore),
Raja Narendralal Khan Women’s College, Midnapore)
2019 December: Formal Verification for CPS Security Assurance (
Targeted Workshop on Cyber Physical System Security (CPSS), IIT Kharagpur)
2018 July: PAC Learnability of PUFs (
Workshop on Security In Connected World (WSPSCW), IIT Kharagpur)
2018 July: Formal Methods for Fault Attack Vulnerability Analysis in Block Ciphers (
Workshop on Security In Connected World (WSPSCW), IIT Kharagpur)
2017 March: Formal Methods for Security Analysis (
UTokyo - IIT Madras Workshop on Theoretical Computer Science, IIT Madras)
2016 June: Formal Methods for Power Intent Verification (ISI Kolkata)
2016 January: Formal Methods for Power Intent Validation in Integrated Circuits (
ACM-India 10th Inter-Research-Institute Student Seminar in Computer Science, Trivandrum)
2014 July: Formal Methods for Architectural Power Intent Verification (
Formal Methods Update Meeting, IIT Kharagpur)
2014 July: Embedded Control Scheduling: Automata and Language Theoretic Perspective (
Formal Methods Update Meeting, IIT Kharagpur)
2014 March: Design of Reliable Embedded Control Systems (
Workshop on High Assurance Embedded Control Software, IIT Kharagpur)