Associated Faculty
Varsha Apte
Research Interests: Performance Evaluation of Computing Systems and Networks; Scalable, Robust, Secure and Intelligent Programming Autograders
Varsha Apte is a Professor in the Department of Computer Science and Engineering at IIT Bombay She completed her M.Sc. from Pune University in 1989, and PhD. from Duke University in 1994, both in Computer Science. After her Ph.D., she joined the Teletraffic Theory and Performance Analysis department in AT&T Bell Labs as Member, Technical Staff, which later became the Network Design and Performance Analysis department of AT&T Labs. She joined as faculty in the Computer Science and Engineering Dept, IIT Bombay in 2002. During the academic years 2009-2011, she was Visiting Faculty at the Computer Science and Automation Department, Indian Institute of Science, Bangalore. While in Bangalore, she also worked at IBM Research Labs as part-time Visiting Researcher from June 2009-May 2010. From February 2016 to February 2019, she served as the Head of the Network and Computing Infrastructure department (called “Computer Centre”) of IIT Bombay. Her areas of interest are performance analysis of computing systems and networks and building applications for online programming education.
Umesh Bellur
Research Interests: Distributed Systems, Virtualization, IoT
Umesh Bellur holds a Ph.D. from Syracuse University, Syracuse, NY, USA. He is a professor of Computer Science and Engineering at IIT Bombay. Mr. Bellur has worked with various organizations including TCSI Corp, Oracle Corp, Covad Comm. Corp, Collation Inc. in California and was a member of Technology Advisory Board for the SEBI, SBI, Clearing Corporation of India and NSDL. He is currently serving as director on Board of Central Depository Services (India) Limited and National Payment Corporation of India (NPCI). Current research interests revolve around Serverless clouds and Blockchains.
Sujoy Bhore
Research Interests: Discrete & Computational Geometry, Algorithms & Data Structures, Graph Theory, Geometric Cryptography
Sujoy is a faculty member in the Department of Computer Science & Engineering at the Indian Institute of Technology (IIT) Bombay. Previously, for a brief stint, he was a faculty member in the Department of Electrical Engineering & Computer Science at the Indian Institute of Science Education and Research (IISER) Bhopal. He has worked as a postdoctoral researcher at the Technische Universität (TU) Wien, Austria, and Université libre de Bruxelles (ULB), Belgium. Sujoy received his Ph.D. from the Department of Computer Science, Faculty of Natural Sciences, Ben-Gurion University of the Negev, Israel. He as also worked as a visiting scientist at the London School of Economics, UK, and Massachusetts Institute of Technology, USA. He has been the recipient
of the Negev doctoral fellowship, the US-Israel BSF travel fellowship, FWF, and FNRS postdoctoral fellowships. His Erdos number is 2.
Supratik Chakraborty
Research Interests: Logic and formal methods, automated synthesis, constrained counting and sampling, scalable formal verification techniques, automata theory
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."
Kameswari Chebrolu
Research Interests: Education Technology, Security, Networks, Cloud Computing, Software Development
Kameswari Chebrolu is a faculty member of the Department of Computer Science and Engineering at the Indian Institute of Technology, Bombay, India. She received her MS and Ph.D. degree in Electrical and Computer engineering from the University of California , San Diego.
The focus of Kameswari's research work is on developing cutting-edge technology for real-world use. In the past, she has worked on projects aimed at providing Internet access to rural villages, enabling voice communication in remote tribal areas, monitoring the health of railway bridges. Currently she is focused on developing smart educational technology for classroom use, AI-human-hybrid technology that caters to the information needs of bottom of the pyramid and countering fake news on social media. The software platforms developed by her have seen wide spread use, touching tens of thousands of end-users.
Kameswari is also the recipient of IITB Excellence in Teaching Award. She has also conducted several teacher-training workshops for over 10,000 teachers in specific Computer Science subjects and use of ed-tech tools.
Abir De
Research Interests: Learning with graphs and sets, privacy on graphs and processes on graphs.
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.
"
Vikram Gadre
Research Interests: Communication and signal processing, with emphasis on multiresolution and multirate signal processing, especially wavelets and filter banks: theory and applications.
Udayan Ganguly
Research Interests: Hardware Encryption, Physical Unclonable Functions, One Time Programmable Memory, Smartcard
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.
Devashish Gosain
Research Interests: Networks, Security & Privacy Research
Devashish completed his Ph.D. from IIIT Delhi in CS with specialization in network security. He worked as a research scientist (postdoc) at Max Planck Institute of Informatics and KU Leuven, and as an Assistant professor at BITS Goa. His research interests lie at the intersection of networks, security, and privacy research. His research goal is to design, build, and deploy secure and privacy-preserving technologies that are scalable and usable.
Anupam Guha
Research Interests: Keywords: Artificial Intelligence, AI Policy, Technology and Society, Tech policy, NLP, Labour
Anupam Guha is an Assistant Professor at the Ashank Desai Centre for Policy Studies at IIT Bombay who primarily works on AI, AI policy, AI and labour. He has a PhD, batch of '17, in Computer Science from the University of Maryland where he worked on multimodal language and vision AI systems. He has also worked in the industry as an AI researcher from 2017 to 2019 on NLP systems. His current work in AI policy is informed by a technical understanding of AI and its relationship with labour and capital. He works to expand the critical lens on AI from the current instrumental and normative frameworks to one informed by an immanent critique of the political economy of techno-social systems.
Ashutosh Gupta
Research Interests: Software Verification
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
Research Interests: Communication Networks, Machine Learning, and Cybersecurity
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.
Shishir K. Jha
Research Interests:
Shishir K Jha is Professor and former Head, Ashank Desai Center for Policy Studies at IIT Bombay. He holds a dual Masters degree in Business Administration and International Relations and a PhD in Political Science from Syracuse University. He has over twenty-five years of teaching experience at different institutions, including IIT Bombay and Ithaca College, New York. He has taught as a visiting faculty at IIM Bangalore and IIM Kozhikode. He is actively engaged in analyzing and theorizing various aspects of the digital economy, particularly the policy relevant issues. He was the National Lead for the launch of the Creative Commons India chapter in 2007.
Navin Kabra
Research Interests: Highly scalable systems; distributed and fault-tolerant software systems; text search, information retrieval; analysis of unstructured information & online communities
Navin Kabra is a visiting Professor of Practice at Trust Lab. With a rich background spanning technology entrepreneurship, advisory roles in various GOI innovation and incubation initiatives, and academia, he brings a wealth of experience to the table.
Chethan Kamath
Research Interests: Cryptography, theoretical Computer Science
Chethan is a faculty member at the CSE Department at IIT Bombay, where he is a member of the Theory Group and Trust Lab. His primary field of research is cryptography, particularly its foundations. But his interests extend beyond to theoretical computer science.
Gaurav S. Kasbekar
Research Interests: Communication Networks, Network Security
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 Khedker
Research Interests: Program Analysis, Compilers, Programming Languages
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
Research Interests: Game theory, information theory, data sciences. Stealth, security, privacy, information elicitation and signaling
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 Nath
Research Interests: Game Theory, Computational Mechanism Design, Computational Social Choice, Artificial Intelligence, Optimization
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.
Sundeep Oberoi
Research Interests: Trustworthiness, Cybersecurity, Systems and Software Engineering, Digital Societies, Technology and Society
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
Research Interests: Computer Architecture for Performance and Security
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.
Manoj Prabhakaran
Research Interests: Theoretical and Applied Cryptography, Topics in Information Security, Topics in Theoretical Computer Science
Manoj Prabhakaran is the Vijay and Sita Vashee chair Professor in the Department of Computer Science and Engineering at the Indian Institute of
Technology (IIT) Bombay. His research interests span theoretical cryptography, information security and various topics in theoretical computer science
and information theory.
Prior to joining IIT Bombay he was an Assistant/Associate Professor of Computer Science at the University of Illinois, Urbana-Champaign, from 2005 to 2016. He received a Ph.D. in Computer Science from Princeton University in 2005. Manoj graduated from IIT Bombay in 2000, with a B.Tech in Computer Science and Engineering and the Institute Gold Medal. He has received an IBM Ph.D. Fellowship, an NSF CAREER award, a Beckman Faculty Fellowship, and a Ramanujan Fellowship. He is an Associate Editor of the Journal of Cryptology, a member of the steering committees for the Theory of Cryptography Conference and the Information Theoretic Cryptography Conference, and a member of the ACM India Cybersecurity Task Force.
Ganesh Ramakrishnan
Research Interests: Human assisted AI/ML, AI/ML in resource constrained environments, learning with symbolic encoding of domain knowledge in ML and NLP, Data Efficient Machine Learning, Constrained Decoding and Post-editing for Machine translation, OCR and ASR .
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/).
Vinay J. Ribeiro
Research Interests: Computer and Network Security (blockchain, IoT security, Ransomware), Internet of Things (IoT), Wireless Networks (cognitive radio, LTE, Wi-Fi, Li-Fi), and indoor positioning and navigation
Vinay Ribeiro is currently an Associate Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Bombay. Earlier he was with the Department of Computer Science and Engineering at IIT Delhi. He received his B.Tech. from I.I.T. Madras in Electrical Engineering and his M.S. and Ph.D. degrees from Rice University in Electrical and Computer Engineering. He received the best student paper award at the Internet Passive and Active Workshop 2003, a Texas Instruments Fellowship from Rice University, a Microsoft Outstanding Young Faculty Award from IIT Delhi, and is a member of Eta Kappa Nu, the honor society of IEEE.
Sayandeep Saha
Research Interests: Hardware Security and Cryptography
Sayandeep Saha primarily works in Hardware Security and Cryptography. He completed his PhD from IIT Kharagpur in September 2021. Before joining IIT Bombay, he was a postdoctoral researcher at NTU Singapore (2022-2023) and UCLouvain, Belgium (2023-2024). His research mainly focuses on fault-assisted cryptanalysis and side-channel cryptanalysis of Symmetric and Public-key cryptosystems. He has been awarded the prestigious EDAA Outstanding Dissertation Award 2022 from the European Design and Automation Association Association for his PhD research. He regularly publishes on top venues in cryptography, security and design automation, such as TCHES, EUROCRYPT, ASIACRYPT, ACM CCS, DAC, DATE, ICCAD, IEEE TIFS, IEEE TCAD, IEEE TC, HPCA, ToSC, Journal of Cryptology. He is also an Associated Editor of the Journal of Cryptographic Engineering. He has served as a PC member in several conferences, such as FDTC, ASHES, Usenix Security, etc.
Siddhartha Santra
Research Interests: Quantum information theory, Quantum communication, Quantum networks
Siddhartha Santra is an Assistant Professor in Physics at and is also associated with the Center of Excellence in Quantum Information, Computation, Science and Technology (CoE-QUICST) IITBombay . He obtained his PhD in 2014 from the University of Southern California, Los Angeles for work in quantum information theory. Subsequently, he was a postdoctoral fellow at the US Army research Laboratory from 2014-2021 and for a year at Stanford from 2015-2016 working on quantum networking. He is currently working on the design of large-scale quantum networks for distributed quantum information
processing. Publications: bit.ly/3CRZZHs
Sruthi Sekar
Research Interests: Cryptography and other related areas in Theoretical Computer Science
Prior to joining Trust Lab at the Computer Science and Engineering Department, IIT Bombay in April 2024, Sruthi Sekar was a post-doctoral researcher at UC Berkeley, hosted by Sanjam Garg. She did her doctoral research at Indian Institute of Science under the supervision of Bhavana Kanukurthi and Manjunath Krishnapur. Her research interest lies in Cryptography and other related areas in Theoretical Computer Science.
S. Krishna
Research Interests: Formal Verification of Timed, Probabilistic and concurrent systems, automata theory, logic and games
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.
Rudrapatna Shyamasundar
Research Interests: Security by Design, Information Flow Security, Correctness of Smart Contracts, A unified analysis of POW to POS, Vulnerability Analysis
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
Research Interests: Cybersecurity, Cyber Physical Cognitive Systems, Formal Methods, Computer Architecture
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.
G. Sivakumar
Research Interests: Formal Specification and Verification, Theorem Proving, Network Security and Management.
Prof. G. Sivakumar has been on the faculty of the Department of Computer Science and Engineering, IIT Bombay, since 1991. His core research interests are in the applications of Logic in diverse areas of Computer Science such as Artificial Intelligence, Software Engineering and Network Security. He is the Head of the Centre for Formal Design and Verification of Software (CFDVS) which undertakes projects related to design and verification of safety critical real-time systems. Such systems include computer based control systems used in nuclear reactors, space, avionics, process-control and robotics. Prof. Sivakumar has published over 25 papers in reputed journals and conferences. He has supervised 5 Ph.D. Theses and over 80 Master’s theses. He has served as a member of IIT Bombay’s Board of Governor’s (2006-2007), and on the Governing Council of IDRBT since 2005. He was a Founder Member of the Open Source Software Resource Centre (with IBM and CDAC) and has Chaired the Committee on Interoperability Framework for Open Standards in E-governance. He has served as an Independent Director on the Board of Andhra Bank and NPCI. He is currently an Independent Director at CCIL, NSDL, IFTAS and IIBF. He serves on several Technical Advisory Committees including those of RBI, NPCI, CCIL, NSDL and SEBI. Prof. Sivakumar’s other passions include chess, carnatic music and Sanskrit.
S. Akshay
Research Interests: Verification, logic, automata theory, explainability in AI
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
Research Interests: Cryptocurrencies, Zero-Knowledge Proofs
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.
Students
Archisman Dutta
Pre-Doctoral Researcher
Kalind Karia
Doctoral
Adwaiya Srivastav
Pre-Doctoral Researcher
Program Directorate
Nikita Arora
Program Manager
Nikita joined the IITB Trust Lab as the Program Manager in 2023. Prior to that she was the Vice President (Research, Policy & Documentation) at the Energy Swaraj Foundation.
Prachi Gawas
Junior Administrative Assistant
Prachi comes with a diverse background in customer service, sales, and relationship management. Her experience spans various industries, including education, insurance, advertising and consultancy services. She holds a Bachelor of Commerce degree from Mumbai University.
Mukul Joshi
Program Director
Mukul Joshi is a successful entrepreneur with 2 decades of experience in software R&D and product engineering.
Prior to joining Trust Lab Mukul was a VP at Turing (a Unicorn now) & was a part of its AI/ML leadership.
Mukul started his entrepreneurial journey in 2008. His company SpotOn became a boutique/niche software technology and R&D services company that grew organically over a period of 9 years. Mukul exited it in 2018. SpotOn was acquired by Nitor where Mukul worked as a Senior VP of Engineering and Technology for 2.5 years. There he built the technology practice, IP led developments while simultaneously handling the entire Enterprise P&L including Sales, engineering & delivery responsibilities.
Before starting his Entrepreneurial journey, Mukul worked at GS-Lab, IBM Research Lab and Persistent Systems.
Sunita Narvekar
Administrative Assistant
Sunita brings a strong background in service desk management and office administration. In her previous role at IRCC, IIT Bombay, she gained valuable experience in "Support and Development of ERP System." She holds a B.Sc in Information Technology from the University of Mumbai.
Sharba Sen
Marketing & Communications Manager
Sharba has over 15 years of experience in writing in both digital and print media. She started her career in a national daily; dabbled in instructional design for a while before moving on to technical writing. Prior to joining the IITB Trust Lab, she worked in a number of roles in various organizations such as The Statesman, Tata Interactive Systems, Adobe Inc, Lionbridge Technologies, and the IIT Bombay Alumni Association. Her portfolio of work includes news reports, e-learning courses, white papers, user manuals, e-magazines, newsletters, website pages, annual reports, and Class Yearbooks. Sharba holds an MA in English Literature from Jadavpur University, a Diploma in Book Publishing from the University of Calcutta, and an MA in Technical Writing from Texas Tech University, USA.