Find Academic Supervisors

• Machine Learning
• Visual Computing
• Image Analysis
• +6 more

Soumya Dutta is an Assistant Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Kanpur (IITK), where he leads the INSIGHT: Intelligent Scientific and Visual Computing of Big Data Research Group. He joined IIT Kanpur in October 2022 after working as a Scientist II at Los Alamos National Laboratory (LANL) from July 2019 to August 2022, and previously as a Postdoctoral Research Associate at LANL from June 2018 to July 2019. His educational background includes a Ph.D. and M.S. in Computer Science and Engineering from The Ohio State University (2011-2018), where he was part of the GRAVITY research group, and a B.Tech. in Electronics and Communication Engineering from West Bengal University of Technology, India (2005-2009). Research Interests: Dr. Dutta's research focuses on the intersection of machine learning, visual computing, big data, and high-performance computing. His primary research areas include Machine Learning for Visual Computing and Image Analysis, Big Data Visualization and Analytics, Data Science and HPC, Machine Learning for Scientific Computing, and Explainability and Interpretability of AI Models. His work addresses various big data characteristics including the 5 Vs: Volume, Velocity, Variety, Veracity, and Value. He develops techniques that make complex machine learning models more interpretable and explainable, enabling their effective adoption in real-life applications across scientific domains, social media, IoT, healthcare, and industry applications. Dr. Dutta's research group has secured multiple funded projects including: DAVi: An Intelligent Data Analytics and Visualization Framework (funded by ISRO), Intelligent Visual Computing of Extreme-scale Data for Accelerating Scientific Discovery (IIT Kanpur Initiation Grant), Enabling Interactive Big Data Analytics and Visualization at Exascale (SERB), Development of AI-Enabled National Portal for Efficient Search of Missing People (C3iHub), and Proactive and Generalized Deepfake Defense Mechanisms (C3iHub). Best Reviewer, Honorary Mention Award for IEEE Transactions on Visualization & Computer Graphics (TVCG), 2021 Best Paper Award at ISAV 2021, co-located with Supercomputing (SC) LAAP Award at Los Alamos National Laboratory, 2021 Best Paper Award at TopoInVis 2019 Best Paper Award at ISAV 2018, co-located with Supercomputing (SC) Best Poster Award in 12th Annual CSE Student Poster Exhibition, The Ohio State University, 2018 Best Poster Award in 11th Annual CSE Student Poster Exhibition, The Ohio State University, 2017 Best Paper Honorable Mention Award at IEEE Visualization Conference (IEEE VIS) 2016 Dr. Dutta actively mentors a large group of students including Ph.D., M.Tech., and B.Tech. students. His current Ph.D. students include Shanu Saklani, Sankhadeep Bhowmick, Ananya Chaturvedi, Arpita Santra, Anubhav Dixit (co-supervised), and Robin Shah. He has supervised numerous M.Tech. students with thesis topics ranging from uncertainty-aware neural networks to deepfake detection. Dr. Dutta currently teaches courses including CS360 - Introduction to Computer Graphics and CS661 - Big Data Visual Analytics. The INSIGHT research group collaborates internationally with researchers from Meta, Oak Ridge National Laboratory, and National Taiwan Normal University. The group's work focuses on building machine learning and data science-based solutions to analyze large-scale multifaceted data in a scalable way, enabling interactive and interpretable analytics of complex data from scientific simulations, social media, IoT, healthcare, and other application domains.

Supratik ChakrabortyView profile

Professor

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

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.

Ashis K. PatraView profile

Professor

• Inorganic Chemistry
• Bioinorganic Chemistry
• Therapeutic Applications of Metal Complexes
• +3 more

Ashis K. Patra is a full-time Professor in the Department of Chemistry at the Indian Institute of Technology Kanpur (IIT Kanpur). After obtaining his Ph.D. from the Indian Institute of Science (IISc) Bangalore in 2008, he carried out post-doctoral research at Harvard University and the University of Georgia before joining IIT Kanpur in 2012. Education & Academic Training Ph.D. (2008), Indian Institute of Science (IISc), Bangalore M.Sc. (2002), The University of Burdwan Research Interests Professor Patra leads an interdisciplinary program that sits at the interface of inorganic chemistry, chemical biology, and medicinal chemistry. His work is organized into three principal thrusts: Therapeutic Applications of Metal Complexes: Design and mechanistic evaluation of cytotoxic transition-metal complexes that target nucleic acids and proteins, aiming to overcome multidrug resistance in cancer. Nitric Oxide Delivery from Transition Metal Nitrosyls: Development of photo- and redox-triggered metal nitrosyl complexes for controlled NO release to biological targets such as hemoglobin, myoglobin, and glutathione. Luminescent Lanthanide Complexes: Synthesis and photophysical characterization of Eu(III) and Tb(III) complexes that serve as luminescent probes and theranostic agents. Research Output & Impact His group has published extensively in leading journals including Dalton Transactions , Inorganic Chemistry , Chemical Science , and Journal of Inorganic Biochemistry . The collective work demonstrates a clear trajectory from fundamental coordination chemistry to translational applications in drug delivery and bioimaging, with recurring themes of redox control, light activation, and biological targeting. Scientific Awards & Fellowships CSIR Junior & Senior Research Fellowships (2001, 2003) West Bengal SLET Qualification (2001) International Travel Grants from CSIR & INSA (2006) DST Fast-Track Fellowship for Young Scientists (2013) Erasmus Mundus NAMASTE Scholarship for Academic Staff (2014) JSPS Invitation Fellowship (2016) Teaching & Mentoring Professor Patra teaches core and advanced courses in inorganic chemistry, including Inorganic Chemistry Laboratory, Bioinorganic Chemistry, and Frontiers in Inorganic Chemistry. He actively mentors Ph.D. and master’s students (full list available on his lab website ) and has established the Laboratory of Inorganic Chemical Biology in the Old Core Lab complex at IIT Kanpur.

Smrutiranjan ParidaView profile

Professor

• Corrosion Science and Engineering
• Electrochemical Energy Storage
• Nanomaterials for Energy
• +5 more

Smrutiranjan Parida is a 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 May 2021, previously as an Associate Professor from 2016 to 2021. He leads the Corrosion and Advanced Materials Laboratory (CAML), a multidisciplinary research group focused on corrosion science and advanced materials development. Education: Ph.D., University of Saarlandes, Saarbruecken, Germany, 2007 M.Tech, IIT Kharagpur, 2002 His research is centered on corrosion science, electrochemical energy storage, and functional nanomaterials . Key interests include supercapacitors, electrocatalysts, smart multifunctional coatings, corrosion-resistant alloys, and the application of nanotechnology in corrosion mitigation. His work bridges fundamental electrochemistry with practical industrial applications. The recent publications highlight a strong focus on nanomaterials for energy and corrosion protection , including carbon nano-onions, nanoporous metals, graphene composites, and smart inhibitor delivery systems. Themes such as binder-free electrodes, green synthesis, and in-situ characterization are prominent, reflecting a commitment to sustainable and high-performance materials. Scientific Awards: German Academic Exchange Service (DAAD) fellowship, IFW Dresden, Germany, 2002 Prof. Parida has secured significant research funding as Principal Investigator (PI) from agencies like SERB-DST, ONGC, and IIT Bombay's IRCC. He has also contributed as Co-PI in large projects such as the Centre of Excellence in Steel Technology (Ministry of Steel) and the DST-FIST 'Materials for Energy and Sensors' program. His grants span corrosion inhibition in oil pipelines, nanostructured alloys, biomaterials, and advanced laboratory infrastructure development. The Corrosion and Advanced Materials Laboratory (CAML) serves as the primary hub for his research team, fostering innovation in surface engineering and electrochemical devices.

Namrata SinghView profile

Assistant Professor

• Chemical Biology
• Bioinorganic Chemistry
• Nanomaterials for Biomedical Applications
• +3 more

Namrata Singh, Ph.D. (Indian Institute of Science), is an Assistant Professor in the Department of Chemistry at Indian Institute of Technology Kanpur. Her research integrates material chemistry and biology to develop therapeutic nanomaterials for high-mortality diseases and resilient infections, alongside innovative diagnostic tools. Education and Training: Ph.D. in Chemistry, Indian Institute of Science Postdoctoral Fellow, Karolinska Institute, Stockholm (2022-2023) Postdoctoral Fellow, Imperial College London (2020-2022) Scientist, CSIR-Central Drug Research Institute, Lucknow (2023-2024) Research Interests: Dr. Singh’s laboratory focuses on therapeutic nanomaterials targeting drug-resistant bacterial infections and precise cancer therapy . Her group designs bioinspired, stimuli-responsive nanomaterials that act as antibiotic carriers and standalone bactericidal agents against biofilms and multidrug-resistant pathogens. In oncology, she develops nanomedicines that modulate the tumor microenvironment and control programmed cell death pathways (ferroptosis, apoptosis) to enhance therapeutic selectivity and minimize off-target toxicity. Scientific Awards & Fellowships: Karolinska Institute Research Foundation Grant (2023) MSCA Vinnova Postdoctoral Fellowship, Swedish Innovation Agency (2022) IUPAC-Solvay International Award for Young Chemists (2020) Alexander von Humboldt & ETH Zürich Postdoctoral Fellowships (2020, not availed) Metrohm Young Chemist Award (2019) Indian Academy of Sciences Summer Research Fellowship (2011) Contact: Office FB 437, Faculty Building, Department of Chemistry, IIT Kanpur, Kanpur 208016 Phone: +91-512-259-2527 | Email: namrata@iitk.ac.in

R.K. ShyamasundarView profile

Professor

• Real-Time Programming
• Reactive Programming
• Logic Programming
• +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.

Debasis DasView profile

Associate Professor

• Chemical Biology
• Bioinorganic Chemistry
• Enzymology
• +2 more

Debasis Das serves as Associate Professor in the Department of Inorganic and Physical Chemistry at the Indian Institute of Science (IISc), Bangalore, where he maintains his laboratory in room C107 of the Chemical Sciences Building. His research program focuses on the following key areas: Chemical Biology Bioinorganic Chemistry Enzymology Membrane Proteins Protein Engineering His interdisciplinary group employs chemistry, biochemistry, and molecular biology tools to investigate metallo-enzyme mechanisms and develop applications in green energy and therapeutics. Analysis of his publication record (2008-2018) reveals sustained focus on enzyme kinetics and mechanism, particularly for phosphoglycosyl transferases and aldehyde-deformylating enzymes. His work integrates structural biology, enzyme engineering, and assay development with applications in bacterial cell wall biosynthesis and biofuel production. The Das research group operates as a dynamic interdisciplinary team exploring fundamental biochemical questions with translational potential for energy and medical applications.

• Molecular Electronics
• Spintronics
• Surface Chemistry
• +5 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.

Ashok KumarView profile

Professor

• Biomaterials
• Tissue engineering
• Regenerative medicine
• +7 more

Professor Ashok Kumar is a distinguished faculty member in the Department of Biological Sciences & Bioengineering at Indian Institute of Technology Kanpur. His research program bridges engineering principles with biological applications, focusing on innovative biomaterial solutions for tissue engineering and regenerative medicine challenges. Dr. Kumar earned his PhD from IIT Roorkee in 1993, following his M.Sc. and B.Sc. from University of Kashmir in 1984 and 1981 respectively. His academic journey has established him as a leading researcher in cryogel-based biomaterials with significant contributions to the field. His research interests center on cryogel biomaterials and smart polymers for applications in cartilage, bone, skin, and neural tissue engineering, along with drug delivery systems. His lab develops cryogel bioreactor systems for therapeutic protein production, extracorporeal bioartificial liver support, and affinity-based monolithic cryogel systems for cell separation. Recent work incorporates smart polymeric materials to establish intelligent drug delivery systems and animal models for rheumatoid arthritis, while also exploring cryogel matrices for water and air purification applications. Analysis of his publication record shows consistent high-impact contributions in tissue engineering, with a particular focus on cryogel technology applications. His work spans fundamental biomaterial development to translational applications, appearing in prestigious journals like Nature Protocols and PLoS ONE, with one article featured on the cover page of Nature Protocols. TATA Innovation Fellowship award by DBT (2013) Madhav Rao Scindia Memorial award in Science and Technology (2013) Samsung-GRO International research award for health systems research (2012) International Brainpool Fellow, Korea (2012) Executive Board Member for Federation of Asian Biotechnology (FAOB) (2008) Professor Kumar's research program demonstrates strong external funding support through various national and international collaborations. His work on cryogel bioreactors and affinity-based separation systems has significant translational potential for therapeutic applications and bioprocessing. The laboratory environment fosters interdisciplinary research training for students across engineering and life science disciplines. His research group operates specialized facilities for cryogel synthesis, characterization, and biological testing, with focus areas including tissue scaffold development, bioreactor design, and smart delivery systems. Current projects address critical challenges in regenerative medicine and environmental biotechnology through innovative material solutions.

Parag BhargavaView profile

Professor

• Materials Science
• Ceramics
• Powder Processing
• +7 more

Parag Bhargava is a Professor in the Department of Metallurgical Engineering and Materials Science at the Indian Institute of Technology Bombay (IIT Bombay). He has been a faculty member since 1998, progressing from Assistant Professor to full Professor in 2009, and continues to lead an active research program in materials science and engineering. His research interests include powder processing, rheology of inks and pastes, synthesis of weakly agglomerated nanoparticles, dental materials, glasses and glass ceramics, silver pastes, screen-printed sensors, and scaling-up for product development. He has made significant contributions in ceramics, composites, and energy materials, with a strong emphasis on translational and commercializable technologies. The recent publications highlight his work in hybrid perovskite solar cells, lightweight thermal insulators, graphene-based electrodes, alumina fiber synthesis, and ceramic-carbon composites. His research spans energy conversion, sustainable materials, additive manufacturing, and biomedical applications, showing a multidisciplinary approach to materials innovation. Scientific Awards: Award for Commercialization of Indigenous Technology on National Technology Day by President of India (2018) Excellence in Teaching Award, IIT Bombay (2016) Chevening Rolls-Royce Science, Innovation and Leadership (CRISP) Fellowship (2015) Excellence in Teaching Award, IIT Bombay (2008) First Prize, Inter-IIT competition on New environments for learning, teaching, research, creation, use and preservation of digital resources, Pan-IIT meet Mumbai (2006) Silver medal: Tech-based commercializable innovation at Incubiz (Anveshan 05) organized by IIM Ahmedabad (2005) Young Engineer of the Year (2002) from the Indian National Academy of Engineering (INAE) Prof. Bhargava has advised numerous students and researchers, as evidenced by his co-authored publications and ongoing PhD positions in his lab. He co-founded ANTS Ceramics Pvt. Ltd., highlighting his success in technology transfer and commercialization. He has secured research funding for scaling up and product development, particularly in ceramics and composites. His lab, the Processing and Materials Laboratory (PML), focuses on innovative processing routes for advanced materials. Labs and Teams: He leads the Processing and Materials Laboratory (PML) at IIT Bombay, which works on cutting-edge materials synthesis and processing techniques. The lab actively recruits PhD and postdoctoral researchers, particularly in glasses, glass synthesis, metal-ceramic composites, and scalable manufacturing.

Ashish MishraView profile

Assistant Professor

• Program Verification
• Program Synthesis
• Programming Languages
• +1 more

Ashish Mishra is an Assistant Professor in the Department of Computer Science & Engineering at the Indian Institute of Technology Hyderabad (IIT Hyderabad) , located in Kandi, Sangareddy, Telangana, India. Education: Ph.D. from Indian Institute of Science (IISc), Bengaluru Research Interests: His research spans foundational and applied areas in computer science, focusing on: Program Verification – ensuring correctness of software systems through formal methods. Program Synthesis – automatically generating programs from high-level specifications. Programming Languages – design, semantics, and implementation of new language constructs. Neurosymbolic Programming – integrating neural networks with symbolic reasoning for smarter program synthesis and verification. Current Affiliation: Room CS-606, Computer Science Building, IIT Hyderabad Contact: No public email provided; contact form available on institute page.

B. R. JagirdarView profile

Professor

• Organometallic Chemistry
• Materials Chemistry
• Homogeneous Catalysis
• +4 more

Professor B. R. Jagirdar is a faculty member in the Department of Inorganic and Physical Chemistry at the Indian Institute of Science (IISc), Bangalore, where he conducts research at the intersection of organometallic chemistry and energy-focused materials science. His work in organometallic chemistry centers on small molecule activation (H 2 , silanes, boranes, alkanes) and heterocumulene insertion reactions (CO 2 , CS 2 , COS) into metal-hydride bonds, with applications in methane-to-methanol conversion. In materials chemistry, he develops hydrogen storage nanomaterials (monometallic/core-shell nanoparticles) and nanocatalysts for hydrogen generation, utilizing techniques including multinuclear NMR, X-ray crystallography, and electron microscopy. Recent publications reveal a strong emphasis on nanomaterials engineering for energy applications, particularly digestive ripening methods for monodisperse nanoparticles and core-shell catalysts for hydrogen production from ammonia-borane, bridging fundamental organometallic mechanisms with practical energy solutions. The Jagirdar laboratory operates within IISc's Chemical Sciences Building, maintaining active research programs in bond activation chemistry and nanomaterials synthesis for sustainable energy technologies.

Debashish ChowdhuryView profile

Professor

• Statistical Physics
• Biological Physics
• Molecular Motors
• +3 more

Debashish Chowdhury is a Professor in the Department of Physics at Indian Institute of Technology Kanpur. With a PhD from IIT Kanpur (1984) and an M.Sc. from IIT Kharagpur (1980), he has established himself as a leading researcher in statistical and biological physics. His educational background includes: PhD, IIT Kanpur (1984) M.Sc., IIT Kharagpur (1980) Professor Chowdhury specializes in Statistical and Biological Physics, with a focus on applications of statistical physics to stochastic biological processes. His research spans from fundamental theoretical physics to complex biological systems, particularly investigating molecular motors and intracellular transport mechanisms. His work bridges physics, biology, and chemistry, creating a truly interdisciplinary research program that has gained international recognition. His recent publications demonstrate a strong focus on the physics of molecular motors and biological transport processes, with significant contributions to understanding ribosome dynamics, intracellular transport mechanisms, and the statistical physics of complex biological systems. His work often appears in high-impact journals such as Physics Reports, Physical Review Letters, and Physical Review E. Professor Chowdhury has received numerous prestigious awards and fellowships: Elected Fellow, Indian National Science Academy (INSA), New Delhi Elected Fellow, Indian Academy of Sciences (IASc), Bangalore Elected Fellow, National Academy of Sciences India (NASI), Allahabad J.C. Bose National Fellowship, SERB/DST, India INSA Young Scientist medal, Indian National Science Academy, New Delhi As an advisor and researcher, Professor Chowdhury has made significant contributions to the field of statistical biophysics. His laboratory at IIT Kanpur focuses on theoretical modeling of biological processes, particularly those involving molecular motors and intracellular transport. He has successfully secured research grants from national funding agencies to support his multidisciplinary research program. His research group continues to explore the interface between physics and biology, investigating how physical principles govern complex biological processes at the molecular level. Current research directions include the stochastic kinetics of molecular machines, collective behavior in biological transport systems, and the application of statistical physics to understand cellular processes.

S. AkshayView profile

Professor

• Formal Methods
• Automated Functional Synthesis
• Probabilistic Systems
• +4 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.

Satish VittaView profile

Professor

• Nanomaterials
• Magnetic Properties of Materials
• Electrical Properties of Metals and Alloys
• +7 more

Prof. Satish Vitta is a faculty member in the Department of Metallurgical Engineering and Materials Science at the Indian Institute of Technology Bombay (IIT Bombay). He holds the academic rank of Professor and is actively engaged in research and teaching in advanced materials science. Education: B.Tech. in Metallurgical Engineering, Mysore University (1980) M.Tech. in Metallurgical Engineering, IIT Kanpur (1982) Ph.D. in Metallurgical Engineering, University of Cambridge His research focuses on nanomaterials , particularly the magnetic, electrical, and optical properties of metals, alloys, oxides, and ultra-thin layered structures. He investigates phenomena such as spin wave magnetization in nanoparticles and electrical transport in nanocrystalline manganites. His work has significant implications for energy, sensing, and advanced optical devices, especially in the development of soft x-ray and water window multilayer mirrors . His recent publications highlight consistent work in nanoscale materials synthesis , magnetic behavior , and thin film optics , with a strong emphasis on experimental characterization and material design for functional applications. Scientific Awards: No awards mentioned in the provided text. He advises students in the Ph.D. and M.Tech. programs at IIT Bombay, although specific names are not listed. There is no mention of external grants or funding sources in the text. He is associated with research facilities within the MEMS department at IIT Bombay, particularly those related to materials synthesis and characterization.