Find Academic Supervisors

Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.

• Formal Methods
• Formal Verification
• Automated Synthesis
• +7 more

Dr. Triratna Muneshwar is an Assistant Professor in the Department of Metallurgical Engineering and Materials Science at the Indian Institute of Technology Bombay (IIT Bombay), where he has been serving since November 2021. His research focuses on advanced thin film deposition techniques, particularly atomic layer deposition (ALD) and atomic layer etching (ALE), for next-generation semiconductor devices. Ph.D. in Materials Engineering, University of Alberta, Canada (2014) Dual Degree (B.Tech & M.Tech) in Metallurgical Engineering and Materials Science, IIT Bombay (2009) His research interests lie at the intersection of materials science and semiconductor technology, with a strong emphasis on modeling and experimental analysis of vacuum thin film processes. He investigates atomic layer deposition of oxides, nitrides, and metals, surface reaction kinetics , dopant distribution in thin films , and parasitic reactions in high-aspect-ratio structures . His work bridges lab-scale innovation to industrial fabrication (Lab-to-Fab). Dr. Muneshwar's publications reveal a consistent focus on improving the precision, efficiency, and scalability of ALD processes. His work spans plasma-enhanced ALD , precursor chemistry , in-situ characterization , and numerical modeling of growth mechanisms. Key themes include precursor utilization optimization, nucleation control, and material characterization for logic and memory applications. Scientific recognitions include: Featured Article, Journal of Applied Physics (2016) Editors Pick, Journal of Applied Physics (2018) U.S. Patent on precursor utilization in pulsed ALD processes Dr. Muneshwar has mentored research at the postdoctoral and associate levels and continues to build a research program involving graduate students and collaborative projects. His prior experience includes a Postdoctoral Research Fellowship and Research Associate role at the University of Alberta. He is actively involved in advancing ALD/ALE technologies with industrial relevance. His research is conducted within the MEMS department at IIT Bombay, leveraging advanced fabrication and characterization facilities. He collaborates with teams working on semiconductor materials, nanofabrication, and process modeling, contributing to India's growing expertise in microelectronics and advanced materials.

• Materials for Semiconductor Devices
• Atomic Layer Deposition
• Atomic Layer Etching
• +7 more

R.K. Shyamasundar is a Professor at the Indian Institute of Technology Bombay , with a focus on Real-Time and Reactive Programming, Logic Programming, Pi-Calculus, and Parallel Programs. Research spans formal verification, concurrency, and distributed systems. Key contributions include RT-CDL semantics, Esterel language extensions, and hybrid system controller synthesis. Scientific awards include JC Bose National Fellow, Fellowships at Indian Academy of Sciences and Indian National Science Academy, and Senior Membership in IEEE. His work involves collaborations with institutions like TCS Group and researchers such as Basant Rajan, N. Raja, and Deepak Kapur.

• Real-Time Programming
• Reactive Programming
• Logic Programming
• +7 more

Dr Arabinda Haldar is Associate Professor of Physics at Indian Institute of Technology Hyderabad. His group pursues experimental and theoretical research in magnonics, microwave magnetics and nanomagnetism, with an emphasis on spintronic and post-CMOS information-processing technologies. Education Ph.D. – Indian Institute of Technology Bombay Research Interests The group operates at the intersection of condensed-matter physics , nanotechnology and microwave engineering . Core themes include: Magnonics & Spin-Wave Computing: Propagation and control of magnons in ultra-thin magnetic multilayers, magnonic waveguides and reconfigurable metamaterials for low-power logic and memory. Microwave Magnetics: Self-biased nanomagnets and ferrite-free thin-film devices for on-chip RF components, radars and wireless communication systems. Nanomagnetism & Spin Dynamics: Spin-orbit phenomena (spin Hall effect, spin pumping, spin-orbit torque), skyrmionics, and ultrafast magnetization dynamics probed by FMR, BLS and ST-FMR techniques. Scientific Awards & Recognition Research Excellence Award – IIT Hyderabad (2024) DAE Young Scientist Research Award (2021) IEEE Senior Member recognition (2022) Ramanujan Fellowship – DST, Government of India (2017) Outstanding Reviewer 2019 – IOP Publishing Early Career Research Award – SERB (2017) Advising & Funding Dr Haldar has mentored 15+ PhD students and numerous Masters and project interns. He is principal investigator on SERB-CRG grants for Brillouin light scattering microscopy and sputtering system for skyrmion research , and co-PI on additional CRG-SERB and NIMS-ICGP programs. Recent graduates include Sudeep (DRDO-MoE), Brahmaranjan, Mahathi and Bibekananda Paikaray. Laboratory & Collaborative Networks The Magnonics & Nanomagnetism Laboratory at IITH houses state-of-the-art facilities: broadband FMR (2–18 GHz), micro-focused Brillouin light scattering, spin-torque ferromagnetic resonance (ST-FMR) and nanofabrication clean-room tools. International collaborations span Durham University (Prof A O Adeyeye), NIMS Japan, IISc Bangalore, DMRL Hyderabad and IIT Bombay.

• Experimental condensed-matter physics
• Magnonics
• Spintronics
• +9 more

Dr. Preethi Srivathsa is an Assistant Professor - Senior Scale in the School of Computer Engineering at Manipal Academy of Higher Education (MAHE), Bengaluru. She holds a B.Tech, M.Tech, and Ph.D. (awarded by Presidency University in 2022). Her academic career includes positions at Presidency University (2019-2023) and East Point College of Engineering (2008-2019). Her research focuses on: Computer architecture and low-power hardware design IoT applications and cyber-physical systems Cryptography and blockchain security Machine learning implementations in hardware FPGA-based accelerators and optimization techniques Her publication portfolio shows strong emphasis on hardware-efficient algorithms, cryptographic systems (especially elliptic curve applications in blockchain), and emerging IoT architectures. Recent work integrates machine learning with hardware acceleration for smart home systems and agricultural technology. Awards and recognitions: Best Paper Award at IEEE iSES-2021 for low-power sorter design Infosys Bronze Partner Faculty (2013) She has developed intellectual property including IoT-based monitoring systems and blockchain educational frameworks. Technical skills include Verilog, FPGA design, IoT platforms (Arduino/Raspberry Pi), and multiple programming languages.

• Computer Architecture
• Internet of Things
• Cyber Security
• +4 more

Prakash Chandra Mondal is an Associate Professor in the Department of Chemistry at the Indian Institute of Technology Kanpur (IIT Kanpur), specializing in molecular electronics, surface chemistry, and spintronics. Education Ph.D. (2013), University of Delhi M.Sc. (2008), Indian Institute of Technology Kharagpur Research Focus His group investigates charge-transport phenomena in molecular-scale devices by integrating organic, inorganic, and biomolecular systems. A central theme is the replacement of conventional metal electrodes with carbon-based electrodes to create robust carbon–molecule–carbon junctions. These architectures enable unprecedented control over opto-electronic and spintronic properties through molecular design, electrochemical grafting, and thickness modulation. Current thrusts include: • Stimuli-responsive molecular junctions • Spin-dependent transport across chiral molecular layers • Photo-spintronics in hybrid peptide–nanoparticle structures • Integration of 2D inorganic materials for next-generation logic circuits Publications Snapshot Mondal’s recent articles (2015-2018) chart a clear trajectory from fundamental studies of chirality-driven spin selectivity to functional device demonstrations, spanning journals such as ACS Nano , Advanced Materials , Nano Letters , and J. Am. Chem. Soc. Collectively, these works advance the understanding of spin–orbit coupling in molecular systems and open pathways toward low-dimensional, carbon-compatible spintronic and optoelectronic technologies. Awards & Honors National Scholarship, Govt. of West Bengal (1999) Bharat Sevashram Sangha Scholarship (2003) Chief Minister’s Relief Funds Scholarship (2008) CSIR Junior Research Fellowship (2009) Weizmann Institute of Science Post-doctoral Fellowship (2013) ACS Author Rewards (2015) Alberta Innovates Post-doctoral Fellowship (2016) Marie-Curie International Incoming Fellowship, European Union (2017) Teaching & Mentorship At IIT Kanpur he offers undergraduate and postgraduate courses in Basic Inorganic Chemistry, Advanced Main Group Chemistry, and Coordination Chemistry. While specific advisees are not listed, his active research program and post-doctoral mentoring indicate a vibrant training environment for graduate students and post-docs.

• Molecular Electronics
• Spintronics
• Surface Chemistry
• +5 more

Supratim Biswas is a Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Bombay, where he has served since 1995. His academic career spans over four decades, beginning as a Lecturer in the Computer Center in 1980, progressing to Assistant Professor in 1985, Associate Professor in 1990, and achieving full Professorship in 1995. He has held significant administrative roles including Dean of Academic Programs (2007-2010), Head of CSE Department (2000-2003), and Director of IITB-Monash Academy (2009-2010). His research interests focus on Programming Languages, Compiler Optimization, Parallelizing Compilers, Parallel and Distributed computing, and Combinatorial Optimization . Professor Biswas has made substantial contributions to compiler technology, particularly in parallelization techniques for modern architectures. His work bridges theoretical compiler design with practical applications in high-performance computing and CAD systems, demonstrating how compiler optimizations can significantly enhance computational efficiency in real-world applications. The publication record shows a consistent research trajectory spanning nearly four decades, with recent work (2012-2015) focusing on GPU-based parallel algorithms, loop parallelization techniques for non-uniform data dependencies, and mesh processing for CAD applications. His research demonstrates evolution from foundational compiler theory to contemporary parallel architectures, maintaining relevance through practical applications in computational geometry, CAD systems, and high-performance computing. Excellence in Teaching Award (2000) Professor Biswas has supervised over 60 doctoral and master's students, establishing himself as a dedicated mentor in systems software education. His sponsored research portfolio includes significant projects with CDAC (350 lacs), MIT (133 lacs), TCS (81.3 lacs), and Intel Corporation (10 lacs), demonstrating strong industry-academic collaboration. His teaching portfolio spans both undergraduate and postgraduate levels, including foundational courses like Discrete Structures and advanced topics like Parallelizing Compilers, reflecting his commitment to curriculum development across multiple generations of computer science education. His laboratory work has supported students across B.Tech, M.Tech, and Ph.D. programs, with particular emphasis on compiler construction and operating systems. Through the Continuing Education Program, he has extended his expertise to industry professionals, conducting numerous specialized courses for organizations including VSNL, TCS, DRDO, and Reliance.

• Programming Languages
• Compiler Optimization
• Parallelizing Compilers
• +2 more

S. Akshay is a Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Bombay . He is affiliated with the IITB Trust Lab , the Ashank Desai Centre for Policy Studies , and the Centre for Formal Design and Verification of Software Systems . His academic background includes a joint PhD from École Normale Supérieure de Cachan and Chennai Mathematical Institute (2010), postdoctoral work at IRISA/ENS Cachan Bretagne (2012) and National University of Singapore (2011), and earlier degrees from ÉNS-Cachan (2006) and Chennai Mathematical Institute (2004). Research interests focus on formal methods , particularly verification of timed, recursive, and distributed systems; automated functional synthesis; formal modeling of probabilistic and dynamical systems; and trust certification in AI models. Applications span systems biology , cyber-physical systems , and artificial intelligence . His recent publications emphasize verification techniques for Markov chains, timed automata, and Boolean functional synthesis, with algorithmic advancements in probabilistic inference, quantifier elimination, and robustness analysis. Professional activities include serving as Treasurer and Council Member of the Indian Association for Research in Computer Science (IARCS). He has co-chaired FSTTCS 2016 and ATVA 2024, and participated in program committees for major conferences like AAAI, CAV, and LICS. Teaching roles at IIT Bombay include courses on Discrete Structures , Formal Models of Concurrent Systems , and Quantitative Verification . Collaborative projects involve institutions such as University of Waterloo, IIT Delhi, and IRISA, Rennes.

• Formal Methods
• Automated Functional Synthesis
• Probabilistic Systems
• +4 more

K. V. Raghavan is an Associate Professor at the Department of Computer Science and Automation in Indian Institute of Science, Bangalore . His research focuses on programming languages , program analysis , and software engineering , with an emphasis on automated tools for program verification and transformation. Teaching: Courses include Program Analysis and Verification (Aug-Dec 2024) and Principles of Distributed Software (Jan-Apr 2025), covering topics like abstract interpretation , dataflow analysis , lambda calculus , Hoare logic , Docker , and Kubernetes . Service: Served as PC co-chair for the Int. Symposium on Automated Technology for Verification and Analysis (ATVA 2025) . Research: Active opportunities for Project Assistant/Associate and Post Doc positions in his group.

• Programming Languages
• Program Analysis
• Software Engineering
• +5 more

Ashutosh Gupta is an Associate Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Bombay, where he has been a faculty member since 2018. His research focuses on formal methods for software verification, particularly in the areas of model checking, constraint solving, and automated reasoning for both sequential and concurrent programs. He teaches advanced courses including Automated Reasoning (CS433), Analysis of Concurrent Programs (CS766), and Logic for Computer Science (CS228). Dr. Gupta received his Ph.D. in Computer Science from Technical University of Munich (TUM) in 2011, with affiliations during his doctoral studies at TUM, Max Planck Institute for Software Systems (MPI-SWS), and École Polytechnique Fédérale de Lausanne (EPFL). Prior to joining IIT Bombay, he served as a faculty member at Tata Institute of Fundamental Research (TIFR) in Mumbai and completed post-doctoral research in the Henzinger group at IST Austria. His research interests span formal verification of sequential and concurrent software, modeling of biological systems, and constraint solving including constraint logic programming, decision procedures, and automated theorem proving. He has developed several verification tools including VAJRA, HSF, and InvGen. His work bridges theoretical foundations with practical applications, particularly in verifying safety-critical systems and biological processes. Dr. Gupta's publication record shows a consistent trajectory of high-impact research in top venues like POPL, CAV, TACAS, and AAAI. His recent work has expanded into neural network verification, reinforcement learning verification for medical devices, and applying formal methods to biological systems, demonstrating both depth in core verification techniques and breadth in application domains. Best Paper Award at TACAS 2015 Best Paper Award at TACAS 2009 Dr. Gupta actively mentors numerous students through course projects, research presentations, and specialized workshops like SATfest. He has supervised students working on SAT/SMT solvers, verification of concurrent programs, and applications of formal methods to biological systems. His teaching philosophy emphasizes hands-on experience with verification tools and encourages students to engage with cutting-edge research through reading and presenting recent conference papers. He maintains active research collaborations with institutions including TUM, MPI-SWS, EPFL, IST Austria, and TIFR, reflecting his continued integration into the international formal methods research community.

• Formal Verification
• Software Verification
• Model Checking
• +7 more

Himanshu Fulara serves as Assistant Professor in the Department of Physics at Indian Institute of Technology Roorkee. His research focuses on experimental condensed matter physics with emphasis on quantum spintronics, nanomagnetism, and energy-efficient nanodevices. He leads the department's Condensed Matter Physics Lab and holds multiple administrative roles including Professor-in-charge of the lab and Coordinator for BSMS Physics program. His research interests span Experimental Condensed Matter Physics , Quantum Spintronics & Nanomagnetism , and Energy-efficient Nanodevices . Key specialties include Spin-Torque and Spin Hall Nano-Oscillators, Skyrmions, Micromagnetic Modelling, Brain-Inspired Computing, and Thin Films/Multilayers. His work demonstrates significant innovation in neuromorphic computing applications and voltage-controlled spintronic devices. Analysis of his recent publications reveals strong focus on spin Hall nano-oscillators (SHNOs) for neuromorphic applications, skyrmion dynamics, and voltage-controlled magnetism. His work frequently appears in high-impact journals including Nature Materials, Nature Nanotechnology, and Science Advances, with notable contributions to memristive control of SHNO synchronization and ultra-low current nano-oscillators. Honors and awards include: Max-Planck Postdoctoral Fellowship (2014) University of Gothenburg Postdoctoral Scholarship (2017) Best Project Award at IIT Delhi (2013) Senior Research Fellowship from CSIR-UGC (2011) He actively supervises PhD students including Shikhar Jugran (Novel Spin-Orbit Torque Materials), Hind Prakash (Magnetic skyrmions), and Arunima TM (Nano-constriction based SHNOs). His current research is funded by SERB (INR 33.11 lakh) and SRIC, IIT Roorkee (INR 20 lakh), both as sole PI. He has delivered numerous invited talks at international conferences including APS March Meetings and INTERMAG. Administratively, he serves on multiple committees including Departmental Purchase Committee, Institute Level Tinkering Committee, and Anti-Ragging Squads. He coordinates departmental initiatives for Tinkering & Mentoring and BSMS Physics programs.

• Experimental Condensed Matter Physics
• Quantum Spintronics & Nanomagnetism
• Energy-efficient Nanodevices
• +6 more

Ashutosh Trivedi is an Associate Professor of Computer Science at the University of Colorado Boulder, currently on leave from his position as Assistant Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Bombay. He is affiliated with multiple research initiatives including the Centre for Formal Design and Verification of Software (CFDVS) at IIT Bombay, Free and Open Source Software for Education (FOSSEE), and the Indo-French project on Algorithmic Verification of Real-Time Systems (AVeRTS). At CU Boulder, he leads the Programming Languages and Verification (CUPLV) research group focusing on trustworthy AI systems. Trivedi's research centers on bridging formal methods with artificial intelligence to create more trustworthy systems. His work spans formal verification of cyber-physical systems, reinforcement learning with formal guarantees, and developing techniques for ensuring software fairness and accountability. He specializes in using formal languages, automata, and logic to transform vague natural-language instructions into precise specifications for AI systems. His recent projects include developing reinforcement learning algorithms for cardiac pacemaker design based on formal safety requirements, using SAT solvers to ground large language model outputs in logical reasoning, and encoding state representations in reinforcement learning using formal languages. His publication trends reveal a strong focus on neurosymbolic approaches that combine neural networks with symbolic reasoning, particularly for safety-critical applications. Recent work demonstrates increasing integration of formal methods with reinforcement learning, with applications spanning medical devices, tax preparation software, and puzzle-solving AI. His research shows a clear trajectory toward making AI systems more explainable, accountable, and verifiable through principled mathematical frameworks. Distinguished Paper Award at CAV for Regular Reinforcement Learning (2024) NeuS 2025 Disruptive Idea Award for Stochastic Neural Simulation Relations for Transferring Control under Uncertainty ACM Senior Member recognition (2024) Royal Society Wolfson Visiting Fellowship (2024) Trivedi has successfully advised multiple PhD students to completion, including Shadi Tasdighi Kalat (2025), Mateo Perez (2025), John Komp (2024), Vishnu Murali (2024), and Taylor Dohmen (2024). His teaching portfolio includes foundational courses in automata theory, digital logic design, and cyber-physical systems at both IIT Bombay and CU Boulder. He has served on program committees for major conferences including FSTTCS, HSCC, and FORMATS, and organized workshops such as ICLA 2015 and ALC 2015. As leader of the CUPLV research group, Trivedi directs projects focused on formal verification of AI systems, reinforcement learning with safety guarantees, and software fairness. His group collaborates with medical researchers on cardiac device verification and with legal scholars on tax software accountability, reflecting his commitment to applying formal methods to real-world problems with significant societal impact.

• Formal Methods
• Cyber-Physical Systems
• Reinforcement Learning
• +5 more