Supratik Chakraborty is Bajaj Group Chair Professor in the Department of Computer Science and Engineering at IIT Bombay, where he is also a Principal Investigator in the Centre for Formal Design and Verification of Software. He received a B.Tech. (Honours) in Computer Science and Engineering from IIT Kharagpur, an M.S. and a Ph.D. in Electrical Engineering (Computer Systems) from Stanford University, and spent a year as Member of Research Staff at Fujitsu Laboratories of America before joining IIT Bombay. Supratik's research interests include constrained sampling and counting, formal verification, automated synthesis, automata theory and logic. He is particularly interested in the development of scalable algorithmic techniques with strong guarantees for reasoning about different computational models. He is a recipient of President of India Gold Medal from IIT Kharagpur (1993), IIT Bombay Excellence in Teaching Award (2002), Indian National Academy Young Engineer Award (2005), IBM Faculty Award (2007) and IIT Bombay Research Publication Award (2018). He is a Fellow of the Indian National Academy of Engineering and is a Distinguished Member of ACM. Supratik currently serves as the Vice President of ACM India Council."

Abir De is an Assistant Professor at the Department of Computer Science and Engineering in IIT Bombay since January 2020. He spent two years in Germany as a post-doc at MPI-SWS. He finished his PhD in 2018 from IIT Kharagpur and BTech and MTech from IIT Kharagpur in 2011. His research interests lie in learning with graphs and sets which include designing neural gadgets which would learn regularities from data to solve those problems which are extremely hard to solve in worst case, data subset selection, designing privacy preserving learning algorithms on social networks. He was awarded INAE Young Engg. and Prof. Krithi Ramamritham award in 2021. During his PhD, he was also awarded Google India PhD fellowship. "

Udayan Ganguly received the B.Tech. degree in Metallurgical Engineering from the IIT Madras, in 2000 and the M.S. and Ph.D. degrees in Materials Science and Engineering at Cornell University, Ithaca, NY, in 2005 and 2006 respectively. In 2006, Udayan joined Applied Materials to serve as the technical lead for Flash Memory Applications Development at Applied Materials’ Front End Product Division, Sunnyvale, CA. He has joined Dept. of Electrical Engineering in 2010. He has authored/ co-authored 50+ journal, 90+ conference and 25+ patents (applied/granted). His research interests are in semiconductor device physics and processing technologies for advanced memory, computing, security and neuromorphic systems. He has contributed to the TIFAC National Vision for ICT 2035. He has won the Dr. PK Patwardhan Technology Development Award 2018. In 2022, he won the Abdul Kalam Tech Innovation National Fellowship. He has been an Editor for IEEE Electron Devices Letters since 2020.

I am a faculty member in the department of computer science and engineering at IIT Bombay, since early 2018. I received my Ph.D. in computer science from TUM in 2011. During my PhD, I was affiliated with TUM, MPI-SWS, and EPFL at different times. Between the PhD and current position, I was a faculty member at TIFR, Mumbai and post-doctoral researcher in Henzinger group at IST Austria.

Manjesh Kumar Hanawal received the BTech degree in ECE from NIT, Bhopal, in 2004, the M.S. degree in ECE from the Indian Institute of Science, Bangalore, India, in 2009, and the Ph.D. degree from INRIA, Sophia Antipolis and University of Avignon, France, in 2013. After two years of postdoc at Boston University, he joined Industrial Engineering and Operations Research at the Indian Institute of Technology Bombay, Mumbai, India, where he is an associate professor now. During 2004-2007 he was with CAIR, DRDO, working on various security-related projects. His research interests include communication networks, machine learning, and cybersecurity. He is a recipient of Inspire Faculty Award from DST and the Early Career Research Award from SERB. He has received several research grants like MATRIX from SERB and Indo-French Collaborative Scientific Research Programme from CEFIPRA.

Gaurav S. Kasbekar received the B.Tech. degree in electrical engineering from the Indian Institute of Technology (IIT) Bombay, Mumbai, India, in 2004, the M.Tech. degree in electronics design and technology (EDT) from the Indian Institute of Science, Bangalore, India, in 2006, and the Ph.D. degree from the University of Pennsylvania, Philadelphia, PA, USA, in 2011. He is currently an Associate Professor with the Department of Electrical Engineering, IIT Bombay. His research interests include communication networking and network security. He received the CEDT Design Medal for being adjudged the best Masters student in EDT at IISc. A paper that he co-authored was awarded an Honorable Mention at the COMSNETS 2015 conference. Another paper that he co-authored was awarded the Best Paper Award (Runner Up) at the National Conference on Communications (NCC), 2022.

Uday P. Khedker finished B.E. from GEC Jabalpur in 1986, M.Tech. from Pune University in 1989, and Ph.D. from IIT Bombay in 1995. He taught at the Department of Computer Science at Pune University from 1994 to 2001 and since then is with IIT Bombay where he is a Professor of Computer Science & Engineering. His areas of interest are Program Analysis, Compilers and Programming Languages. He specialises in data flow analysis and its applications to code optimization. He also spearheaded the GCC work at IIT Bombay through (once very active) GCC Resource Center at IIT Bombay. He has advised 10 Ph.D. students, close to 50 B.Tech. and M.Tech. students, and many more interns. He is a recipient of IBM Faculty Award and Excellence in Teaching Award. He has published papers in leading journals and conferences, has contributed chapters in Compiler Design Handbook and has authored a book titled “Data Flow Analysis: Theory and Practice” (http://www.cse.iitb.ac.in/~uday/dfaBook-web) published by Taylor and Francis (CRC Press). He has also worked very closely with the industry as a consultant as well as a trainer of advanced topics in compilers.

Ankur A. Kulkarni is an Associate Professor at the Indian Institute of Technology Bombay (IITB). His research interests lie in decision making in distributed, decentralised and strategic environments, using tools of artificial intelligence, stochastic processes, game theory, mathematical optimization, and information theory. His current focus is on informational issues in decision making such as stealth, security, privacy, elicitation and signaling. He has published 30 papers in international journals and more than 30 papers in international conferences. He has been a consultant to the Securities and Exchange Board of India wherein he was solely responsible for suggesting regulatory interventions for high frequency algorithmic trading. He presently serves on the IT-Project Advisory Board of SEBI and is responsible for advising SEBI on utilizing advanced technologies such as AI/ML and data analytics and guiding data-related policies for internal use and public use. He is also an advisor to the Tata Consultancy Services and on the technical advisory committee of Maha-IT, a Govt of Maharashtra enterprise. He was previously a consultant to HDFC Life Insurance Company wherein he tackled the problem of design of incentives for sales agents. He is presently advising Kotak Mahindra Bank Limited on anti-money laundering and anomaly detection, and Bank of Baroda on smart cash management. He received his B.Tech. from IITB in 2006, followed by M.S. in 2008 and Ph.D. in 2010, both from the University of Illinois at Urbana-Champaign (UIUC). He was an Associate (from 2015--2018) of the Indian Academy of Sciences, Bangalore (a honour reserved for only 100 scientists under the age of 35 across all fields), he has been an editor for several conferences, a recipient of the INSPIRE Faculty Award of the Department of Science and Technology, Government of India, 2013, and of several Best Paper awards and the Excellence in Teaching Award at IIT Bombay. He has been a visitor to MIT in the USA, University of Cambridge in UK, NUS in Singapore, University of Paris, IISc in Bangalore and KTH in Sweden.

Swaprava is an Assistant Professor at the Department of Computer Science and Engineering, IIT Bombay. Before this, he was a faculty member at the Dept. of CSE, IIT Kanpur. Even earlier, he held postdoctoral positions at Carnegie Mellon University and Indian Statistical Institute, New Delhi, and finished his PhD from the Dept. of CSA, IISc Bangalore. His research interest lies at the intersection of economics and computation, which has several applications in social and industrial paradigms (for details, please see his CompEcon group page: https://www.cse.iitb.ac.in/~swaprava/group.html and his research page: https://www.cse.iitb.ac.in/~swaprava/research.html). His work has been published in top AI and multiagent systems conferences, e.g., AAAI, IJCAI, AAMAS, WINE, and also in economics and management venues, e.g., Games and Econ Behavior, Economics Letters, Management Science. Apart from academic positions, Swaprava also has experience in the industry. He has worked at Xerox Research Centre Europe and Cisco Systems India. He has been recipients of Fulbright-Nehru postdoctoral grant, Tata Consultancy Services PhD Fellowship, and the Honorable Mention Award of Yahoo! Key Scientific Challenges Program.

Dr. Sundeep Oberoi has 36 years of industry, research and entrepreneual experience in diverse areas of Information and Communication Technology. His experience covers a wide spectrum of experience in Delivery Management of large and critical programmes, technology development, product development, business development, system integration and management of research laboratories. He has a Ph.D. in Computer Science from I.I.T Bombay, an M.Tech in Computer Science from I.I.T. Delhi and a B.Tech in Chemical Engineering from I.I.T. Kanpur. He was responsible for the establishment of the I.I.T. Bombay – Tata Infotech Research Laboratory in 1997 and was its first head. He retired from the Tata Group in November 2020 and prior to retirement served as the Global Head for the Cybersecurity Business Unit of Tata Consultancy Services and was recognized as #4 in the top 25 Cybersecurity Executives of 2020 – “The IT Services Report”. He was responsible for security execution in several large Government of India projects like the AWAN project of Indian Army, Passport Seva Project, MCA-21, security of EVMs and many other important projects.

Biswabandan Panda is an Assistant Professor at the CSE dept. of IIT Bombay. Prior to that, he was an Assistant Professor at IIT Kanpur. Prior to that he was at INRIA, Rennes, working with André Seznec, for his postdoc. He received his Ph.D. and Masters from Indian Institute of Technology Madras. He is one of the recipients of Qualcomm Faculty Award 2022.

Ganesh Ramakrishnan is currently serving as an Institute Chair Professor at the Department of Computer Science and Engineering, IIT Bombay. His areas of research include human assisted AI/ML, AI/ML in resource constrained environments, learning with symbolic encoding of domain knowledge in ML and NLP, etc. More recently, he has been focusing his energy on organizing relevant machine learning modules for resource constrained environments into https://decile.org/. In the past, he has demonstrated the impact of such data efficient machine learning in applications such as Video Analytics (https://www.cse.iitb.ac.in/~vidsurv) and OCR (https://www.cse.iitb.ac.in/~ocr) and is seeking to make similar impacts in creating a machine translation eco-system (https://www.udaanproject.org/) and in multi-modal analytics (https://www.cse.iitb.ac.in/~malta/). In the past, he has received awards such as IBM Faculty Award, and awards from Qualcomm, Microsoft as well as IIT Bombay Impactful Research Award and most recently the Dr P.K. Patwardhan Award for technology Development. He also held the J.R. Isaac Chair at IIT Bombay. Ganesh is very passionate about boosting the AI research eco-system for India and toward that, the research by him and his students as well as collaborators has resulted in startups that he has either jointly founded, has transferred technology to, or is mentoring. Ganesh is also currently serving as the Professor-in-charge of the Koita Centre for Digital Health at IIT Bombay (https://www.kcdh.iitb.ac.in/).

Krishna is a professor in the department of computer science and engineering at IIT Bombay, where she is part of the formal methods research group. Prior to joining IITB, she graduated from IIT Madras with a PhD in theoretical computer science. Over the years, she has been serving regularly on the program and steering committees of several premier conferences in formal methods. Some of her recent work has been recognized in the form of national and international doctoral dissertation awards won by her Ph.D students such as an honorable mention at the ACM India doctoral dissertation award, as well as the Beth dissertation prize.

R K Shyamasundar is a Life Fellow of IEEE, a Fellow of ACM, Distinguished ACM Speaker, a Distingusihed Alumnus of Indian Institute of Science, served as IEEE Distinguished Speaker, and was the founding Dean of School of Technology and Computer Science at the Tata Institute of Fundamental Research. He had been a JC Bose National Fellow at TIFR and IIT Bombay and also Distinguished Visiting professor at IIT Bombay between 2015-2020 and he is currently an INAE (Indian National Academy of Engineering) Distinguished Professor at the Department of Computer Science, IIT Bombay. He is also an Adjunct Professor, NITIE, Mumbai. He was awarded the 2014 SN Mitra award for excellence in research by the Indian National Academy of Engineering. He has more than 250 peer reviewed publications in Journals and proceedings, 8 patents, 8 books and guided more than 40 PhD students. He has been a visiting faculty at UIUC, UCSD at LaJolla, IBM Research, Max Planck Inst, JAIST, University of Linkoping. He had also been an Adjunct Faculty at School of Computing at NUS, Singapore, had been an invited full faculty at Technological University of St Petersburg, Russia, and Distinguished Fellow of the UK Royal Academy of Engineering at the Computer Group, University of Cambridge as well as City University of London. He is also a recipient of Diamond Jubilee medal from IETE. He is a Fellow of Indian Academy of Sciences, Indian National Science Academy, National Academy of Sciences, National Academy of Engineering, India and a Fellow of the Academy of Sciences of the Developing world (TWAS), Trieste, Italy. He has been a Fellow of British Blockchain association and recently he has been invited to the Fellowship of Asia-Pacific Artificial Intelligence Association (AAIA). He has served on IEEE Esterel Standards Committee. He is serving as Editor-in-Chief for Sadhana- Journal of Engineering Sciences of the Indian Academy of Sciences for Computing and Data Sciences, Subject-Area Editor for IET Blockchain Journal, serves on the Editorial boards of Journal of Parallel and Distributed Computing. He has/had been on the Governing Council of IIIT Allahabad, Indian Institute of Information Technology and Design Manufacturing at Jabalpur, CSIR-CMMACS (renamed CSIR Fourth Paradigm Institute) at Bangalore.

Virendra Singh obtained Ph.D in Computer Science from Nara Institute of Science and Technology (NAIST), Nara, Japan. Currently, he is serving as a faculty member at Indian Institute of Technology (IIT) Bombay jointly with the Dept. of Electrical Engineering, and the Dept. of Computer Science and Engineering. Prior to join IIT Bombay, he served as a faculty member at Supercomputer Education and Research Centre (current Computational and Data Science department), Indian Institute of Science (IISc), Bangalore from 2007 to 2011. He also served Central Electronics Engineering Research Institute (CEERI), Pilani, as a Scientist from 1997 to 2007. His research interests are cyber security, cyber physical cognitive systems, trustworthy AI, formal verification, and high performance computer architecture. He has published about 175 research papers in various journals and international conferences. He is a convener of India-Japan joint research hub on Trustable cyber physical cognitive systems. His current research focus is towards development of AI powered adaptive cyber defence system. He is leading a major project on development of AI powered adaptive cyber defence systems funded by government of India.

I am currently an associate professor in the dept of CSE at IIT Bombay. I joined IIT Bombay in 2013 as an assistant professor, before which I completed two years of postdoc at IRISA/ENS Cachan Bretagne, Rennes, France and National University of Singapore. In 2010, obtained a joint PhD degree from Ecole Normale Superieure de Cachan (ENS-Cachan) and Chennai Mathematical Institute (CMI), India. I am interested broadly in formal methods, with a focus on verification of timed, recursive and distributed systems, automated functional synthesis and formal modeling and analysis of probabilistic and dynamical systems. Much of this work is motivated by applications arising from different domains including systems biology, cyber-physical systems, and artificial intelligence.

Saravanan Vijayakumaran is an Associate Professor in the Department of Electrical Engineering at IIT Bombay. He received a B.Tech from IIT Guwahati in 2001 and a PhD from the University of Florida, Gainesville in 2007. After a brief stint at Microsoft in Redmond, he joined IIT Bombay in 2009. His primary research interest is in cryptocurrency and blockchain technologies. He has executed research projects from Indian Space Research Organisation (ISRO) and Defence Research and Development Organisation (DRDO). He has also executed consultancy projects for the Mumbai Fire Brigade, Zebpay, Viacom18 Media, and Arcana Network.