Research Interests: Performance Evaluation of Computing Systems and Networks; Scalable, Robust, Secure and Intelligent Programming AutogradersVarsha 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.
Research Interests: Distributed Systems, Virtualization, IoTUmesh 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.
Research Interests: Logic and formal methods, automated synthesis, constrained counting and sampling, scalable formal verification techniques, automata theorySupratik 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."
Research Interests: Education Technology, Security, Networks, Cloud Computing, Software DevelopmentKameswari 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.
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. "
Research Interests: Hardware Encryption, Physical Unclonable Functions, One Time Programmable Memory, SmartcardUdayan 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.
Research Interests: Software VerificationI 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 CybersecurityManjesh 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
Research Interests: Communication Networks, Network SecurityGaurav 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.
Research Interests: Program Analysis, Compilers, Programming LanguagesUday 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 signalingAnkur 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.
Research Interests: Game Theory, Computational Mechanism Design, Computational Social Choice, Artificial Intelligence, OptimizationSwaprava 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.
Research Interests: Trustworthiness, Cybersecurity, Systems and Software Engineering, Digital Societies, Technology and SocietyDr. 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.
Research Interests: Computer Architecture for Performance and SecurityBiswabandan 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.
Research Interests: Theoretical and Applied Cryptography, Topics in Information Security, Topics in Theoretical Computer ScienceManoj 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.
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 navigationVinay 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.
Research Interests: Formal Verification of Timed, Probabilistic and concurrent systems, automata theory, logic and gamesKrishna 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.
Research Interests: Security by Design, Information Flow Security, Correctness of Smart Contracts, A unified analysis of POW to POS, Vulnerability AnalysisR 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.
Research Interests: Cybersecurity, Cyber Physical Cognitive Systems, Formal Methods, Computer ArchitectureVirendra 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.
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.
Research Interests: Verification, logic, automata theory, explainability in AII 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.
Research Interests: Cryptocurrencies, Zero-Knowledge ProofsSaravanan 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.
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.
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.
Marketing and 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.