جست‌وجوی استاد و پژوهشگر

Siddharthaمشاهده پروفایل

استادیار

• Energy Engineering
• Electrical Engineering
• Energy Conservation
• +۴ مورد دیگر

Siddhartha is an active Assistant Professor - Senior Scale in the Department of Electrical and Electronics Engineering at the Manipal Institute of Technology, a constituent unit of Manipal Academy of Higher Education in Manipal, Karnataka, India. His research focuses on sustainable energy systems with emphasis on electric vehicle infrastructure and building energy efficiency. His educational qualifications include: Bachelor of Engineering (BE) Master of Technology (MTech) Research interests span: Energy Conservation in Residential and Educational Buildings Electric Vehicle Charging Infrastructure Optimization Weather Impact on Energy Consumption Thermal Comfort Modeling Genetic Algorithm Applications Urban Energy Planning His work bridges computational optimization with practical energy challenges in Indian urban contexts, particularly Guwahati city. Analysis of his 12 research outputs (2016-2024) reveals increasing focus on transportation electrification since 2023, while maintaining core expertise in building energy systems. Recent publications demonstrate sophisticated application of non-dominated sorting genetic algorithms to charging station placement, building on earlier foundational work in residential energy conservation. No scientific awards or honors were documented in the provided information. Details regarding graduate student supervision, research grants, or collaborative funding mechanisms were not specified in the source material. The profile does not reference any dedicated research laboratories, centers, or structured research teams associated with his academic activities.

Ashoke Deمشاهده پروفایل

استاد

• Aerospace Engineering
• Fluid Dynamics
• Combustion
• +۸ مورد دیگر

Ashoke De is a Professor and Dean of Academic Affairs at the Department of Aerospace Engineering, Indian Institute of Technology Kanpur. He holds a joint appointment in the Sustainable Energy Engineering department and has served as Air Vice Marshal Harjinder Singh Chair of Excellence. PhD in Mechanical Engineering (2009), Louisiana State University Postdoctoral Scholar, Technical University of Delft (2010) Research Engineer, GE Global Research (2010-2011) Research Focus: Specializing in high-speed flows, turbulence modeling, and fluid-structure interaction, his work spans: Supersonic/hypersonic flow dynamics Multiphase combustion and spray modeling Hybrid RANS/LES turbulence modeling Flow-acoustics coupling Energy harvesting systems Lattice Boltzmann methods Publication Trends: Recent work investigates supersonic cavity flows, wind turbine optimization, spray combustion in vitiated coflow, and double-wedge hypersonic configurations. His team applies advanced CFD techniques to aerospace propulsion and sustainable energy systems, with emphasis on shock-wave interactions and vortex-induced vibrations. Awards & Honors: ASME Fellow RAeS Fellow AvHumboldt Fellow AIAA Associate Fellow DAAD Fellowship IEI Young Engineer's Award (Aerospace) Early Career Research Award (DST) P K Kelkar Young Research Fellowship Fellow, West Bengal Academy of Science Academic Leadership: Serves as Associate Editor (IJ Energy for Clean Environment) and Editorial Board Member (Computational Thermal Sciences). Leads large-scale initiatives in turbulent flow modeling and directs research projects from ISRO, ARDB, DST, DRDO, BRNS, and Pratt & Whitney Canada.

Abir Deمشاهده پروفایل

استادیار

• Machine Learning
• Graph Neural Networks
• Data-efficient Learning
• +۳ مورد دیگر

Abir De is an Assistant Professor at the Department of Computer Science and Engineering, Indian Institute of Technology Bombay. His research focuses on designing machine learning models for structured objects like graphs and sets, emphasizing data-efficient learning and human-machine collaboration. Academic Rank: Assistant Professor Institution: Indian Institute of Technology Bombay Department: Computer Science and Engineering Research Interests : Differentiable surrogates for combinatorial graph algorithms (e.g., subgraph isomorphism detection) Data-efficient machine learning through strategic subset selection Neural models for submodular set functions Human-in-the-loop machine learning Information diffusion with capacity constraints Scientific Awards : Qualcomm Innovation Fellowship Winner (2022) and Superwinner (2023) Indian National Academy of Engineering Young Engineer Award (2021) Prof. Krithi Ramamritham Award for Creative Research (2020) Google India PhD Fellowship (2013) Advising and Community Contributions : Co-advising PhD students Indradyumna Roy and N Lokesh Program Co-chair of IndoML 2023 Co-organizer of CSE Research Symposium (2023) and SubSetML workshop (2021) Tutorial creator at AIML Systems Conference (2021) and AAAI (2022) Serving on Senior PC at AAAI (2022-2024), PC member at NeurIPS (2016-2023), and ICLR (2018-2023)

Ashutosh Guptaمشاهده پروفایل

دانشیار

• Formal Verification
• Software Verification
• Model Checking
• +۷ مورد دیگر

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.

Virendra Singhمشاهده پروفایل

استاد

• Cyber Security
• Computer Architecture
• Compiler Support for Modern Architectures
• +۶ مورد دیگر

Virendra Singh is a Professor at the Indian Institute of Technology Bombay , affiliated with both the Department of Electrical Engineering and Department of Computer Science & Engineering . He leads the Computer Architecture and Dependable Systems Lab (CADSL) and coordinates the Indo-Japanese Joint Laboratory for Intelligent Dependable Cyber Physical Systems and the Information Security Research and Development Centre (ISRDC). Ph.D. in Computer Science from Nara Institute of Science and Technology (NAIST), Japan (2002-2005) M.E. and B.E. in Electronics & Communication from Malaviya National Institute of Technology (MNIT), Jaipur (1994-1996 and 1990-1994) Research Interests : Virendra Singh focuses on Cyber Security , Computer Architecture , Fault-Tolerant Computing , Formal Verification , Trusted Computing , and Blockchain Technology . His work integrates security into hardware design, with a strong emphasis on Cyber Physical Cognitive Systems and Software Defined Networking . Recent Publications highlight advancements in cache security , quantum-resistant cryptography , malware detection , and heterogeneous computing , reflecting his interdisciplinary approach. Awards : SP Sukhatme Excellence in Teaching Award (2021) Students : He currently supervises 15 Ph.D. students, advancing cutting-edge research in security and architecture.

• Formal Verification
• Concurrent Systems
• Reactive Systems
• +۴ مورد دیگر

S. Ramesh serves as a Professor in the Department of Computer Science and Engineering at Indian Institute of Technology, Bombay. His research spans formal methods, verification systems, and brain-computer interfaces with notable projects including CFDVS (Center for Formal Design and Verification of Software), UML-based specification systems, and concurrent program analysis. His research interests focus on Formal Verification , Concurrent Systems , and Reactive Applications , with significant contributions to slicing techniques for concurrent Java programs, FPGA testing, and synchronous language applications. The work demonstrates strong interdisciplinary connections between computer science and neuroscience, particularly in event-related potential analysis. Analysis of his publication history reveals dual research trajectories: computer science projects in verification systems and neuroscience publications concerning unconscious processing, ERP analysis, and brain-computer interfaces. This unusual combination suggests cross-disciplinary collaboration between IIT Bombay's computer science department and neuroscience research groups. Ramesh has supervised four PhD students including Ambar Gadkari (working on GALS verification), M.G. Nanda (slicing concurrent Java programs), Sridhar Iyer (reachability analysis of concurrent OO programs), and A. Sowmya (autonomous robot motion specification). His current projects include the CFDVS initiative, Design and Verification of Distributed Applications, Slicing Concurrent Programs, UML-based Specification Systems, and FPGA Testing, demonstrating sustained research activity in formal methods and verification technologies.

Mahesh M Sمشاهده پروفایل

دانشیار

• Vibroacoustics
• Aeroelasticity
• Computational Mechanics
• +۹ مورد دیگر

Mahesh M S is an Associate Professor in the Mechanical & Aerospace Engineering department at the Indian Institute of Technology Hyderabad . He holds a Ph.D. in Aerospace Engineering from the University of Illinois at Urbana-Champaign. Education Ph.D. (2013), University of Illinois at Urbana-Champaign M.Tech. (2004), Indian Institute of Technology Madras B.Tech. (2004), Indian Institute of Technology Madras Research Interests include Vibroacoustics , Aeroelasticity , Computational Mechanics , Aerodynamics , Aeroacoustics , and High Performance Computing . His group explores compressible multiphase flows, radar cross-section prediction, and shock wave interactions. Current Projects include Internal Ballistics (ARMREB, 2024–2027) and Hydroacoustics (NSTL, DRDO, 2024–2025). Past projects span underwater supersonic jets (DRDO, 2019–2021), cavity aeroacoustics (ADA, 2020–2021), and terminal ballistics (ARB, 2016–2018). Scientific awards : None listed. Students : Dr. Amartya Jana (Ph.D. candidate), Dubba Bhuvana Sai Charan Nath (Ph.D. scholar), Shikshit Nawani (M.Tech), Guruprasad Arya (M.Tech), Akshay Khare (M.Tech), Swapna Yalamanchili (Ph.D. scholar), Vishnu S. B. (Project Scientist), Chele Rajesh (Junior Research Fellow), Sharad Verma (M.Tech), Mangesh Dholwade (M.Tech). Contact : Room C-515, Academic Block C, IIT Hyderabad, Telangana, India. Email: mahesh@mae.iith.ac.in .

Praveen Tammanaمشاهده پروفایل

استادیار

• Systems and Networking
• Network Security
• Software-Defined Networking
• +۷ مورد دیگر

Dr. Praveen Tammana is an Assistant Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Hyderabad , where he leads the NetX lab focusing on systems, networks, and security research. He completed his PhD from University of Edinburgh (2013-2018) and holds a Masters from IIT Madras (2009-2011). Education: Ph.D in Computer Science, University of Edinburgh, UK (2013-2018) Masters in Computer Science, IIT-Madras, India (2009-2011) B.E. in Computer Science, Vasavi College of Engineering, Osmania University (2005-2009) Research Focus: His research spans systems and networking , network security , software-defined networking (SDN) , machine learning for networks , wireless communication , high performance computing , and cybersecurity . His lab specializes in programmable data planes using technologies like P4, eBPF, DPUs, and PISA switches. Research Applications: His recent work demonstrates strong focus on AI infrastructure systems , including distributed AI learning and serving, networked robotics, GPU-centric packet processing, and edge cloud applications for autonomous systems. His research bridges the gap between networking infrastructure and AI workloads. Recent Publications Trend: His 2021-2025 publications show significant contributions to network security , programmable switches , edge computing , and AI systems integration . Key themes include securing traffic control systems, AI workload optimization, malicious traffic detection, and real-time applications for autonomous vehicles. Current Funding: Actively funded by industry partners including Mondee (systems for AI workloads), Marvell Technology (data acceleration offload), and ZF India (efficient load-balancer for edge applications). Lab and Team: Leads NetX lab at IIT Hyderabad, actively recruiting full-time research candidates for exciting projects in AI infrastructure, networked systems, and programmable networks. The lab focuses on building next-generation systems for AI workloads and secure network architectures.

Nisheeth Srivastavaمشاهده پروفایل

دانشیار

• Cognitive Science
• Artificial Intelligence
• Computational Modeling
• +۷ مورد دیگر

Nisheeth Srivastava is an Associate Professor in the Department of Computer Science & Engineering and Cognitive Science at the Indian Institute of Technology, Kanpur. His research bridges computational models of cognition with real-world applications in AI and local problem-solving. Cognitive Science : Mathematically modeling human behavior inattention, memory, and decision-making. Artificial Intelligence : Integrating cognitive insights into AI agent design for human-like behavior. Solving Local Problems : Applying technical knowledge to address challenges in resource-constrained environments. His recent work explores predictive modeling limitations , probability inference from sparse data , and decentralized multi-agent systems , with trends spanning decision theory, machine learning, and user behavior analysis. Lab affiliates include Visiting Research Scientist Muhammad Aurangzeb Ahmed, focusing on agent-based simulations of religious affiliation.

Sutanu Gayenمشاهده پروفایل

استادیار

• Theory of Machine Learning
• Algorithms
• Bayesian Networks
• +۳ مورد دیگر

Sutanu Gayen is an Assistant Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Kanpur. His research focuses on theoretical aspects of machine learning, algorithms, and computational statistics. Designing algorithms for Bayesian networks and causality Complexity analysis of distribution learning Applications in high-dimensional statistical modeling His recent publications explore challenges in total variation distance computation, Gaussian tree models, and interventional distribution learning. Courses taught include advanced algorithms for machine learning and data structures. Research connects fundamental computational limits with practical statistical learning tasks.

• Optimization algorithms in communications
• Dynamic network measurement and cartography
• Network Localization
• +۲ مورد دیگر

Ketan Rajawat is an Associate Professor in the Department of Electrical Engineering at the Indian Institute of Technology Kanpur (IIT Kanpur), specializing in signal processing in communications and networks. His research and teaching focus on optimization algorithms, network measurement, localization, and network optimization within communication systems. He maintains an active research program with publications in top IEEE journals. Dr. Rajawat's research interests span optimization algorithms in communications, dynamic network measurement and cartography, network localization, and network optimization. His work bridges theoretical foundations with practical applications in wireless communications and networked systems. He has developed novel approaches for distributed estimation, matrix completion, and multidimensional scaling in network environments, contributing significantly to the field of signal processing for communication networks. His recent publications demonstrate a consistent research trajectory in distributed optimization techniques for communication networks, with a focus on wireless sensor networks, matrix completion, and asynchronous optimization methods. These works primarily appear in high-impact IEEE journals including IEEE Transactions on Wireless Communications and IEEE Transactions on Signal Processing, reflecting the quality and relevance of his research contributions to the field. Dr. Rajawat teaches courses in Convex Optimization, Networks, and Signals and Systems, providing students with both theoretical foundations and practical applications in electrical engineering. His office is located in ACES 305C at IIT Kanpur, where he conducts his research and academic activities.

Anupam Saxenaمشاهده پروفایل

استاد

• Compliant Mechanisms
• Topology Design
• CAD
• +۴ مورد دیگر

Anupam Saxena is a Professor in the Department of Mechanical Engineering at the Indian Institute of Technology Kanpur. His research spans multiple domains within mechanical engineering with a focus on innovative design methodologies and computational approaches to mechanical systems. Education: PhD, University of Pennsylvania, USA (2000) M.S., University of Toledo, USA (1997) B.Tech, Mechanical Engineering, IIT Bombay (1995) Research Focus: Professor Saxena's work primarily centers on compliant mechanisms, which are structures that gain mobility from the deflection of flexible members rather than traditional joints. His research integrates computational methods with mechanical design to develop novel approaches for topology optimization, CAD applications, robotics systems, MEMs devices, and large deformation analysis. His work on material mask overlay methods represents significant contributions to computational design methodologies. Publication Trends: Analysis of his publications reveals a consistent research trajectory focused on computational approaches to mechanical design problems. His work demonstrates increasing sophistication in handling complex mechanical systems through computational methods, with particular emphasis on optimization techniques and multi-physics considerations. Recent publications show integration of robotics concepts with compliant mechanism design, suggesting interdisciplinary expansion of his research focus. Awards and Recognition: Alexander von Humboldt Fellowship (2010) Associate Editor, ASME Journal of Mechanisms and Robotics (2011) AICTE Career Award (2006) Procter and Gamble Best Professional Paper Award (1997) Silver Medal, Mathematics Talent Search Examination, Government of India (1991) Vivek Vir Award, Government of Madhya Pradesh, India (1992) Professor Saxena's research contributions have established him as a significant contributor in the field of computational mechanical design, with particular expertise in compliant mechanisms and topology optimization methodologies.

Vaskar Sarkarمشاهده پروفایل

استاد

• Power Systems
• Renewable Energy Integration
• Photovoltaic Systems
• +۳ مورد دیگر

Vaskar Sarkar is a Professor in the Department of Electrical Engineering at the Indian Institute of Technology Hyderabad (IIT Hyderabad), where he has held academic positions since 2009, progressing from Visiting Assistant Professor to full Professor (since October 2023). His research focuses on power systems stability, renewable energy integration, photovoltaic systems optimization, and microgrid control. Education includes: B.E. from Bardhaman University (2002) M.E. from Bengal Engineering and Science University (2004) Ph.D. from IIT Bombay (2009) Research Interests: Dr. Sarkar's work spans flexible power point tracking in PV systems, grid integration of renewables, microgrid stability, power system optimization, and development of PV-based EV charging stations. His research emphasizes interdisciplinary solutions with theoretical development and experimental validation for real-world engineering problems. Publication Trends: His recent articles focus on renewable energy integration (especially photovoltaic systems), power market mechanisms, and advanced control strategies for grid stability. Emerging themes include AI-assisted PV optimization, wide-area monitoring systems, and HVDC grid integration. Awards: Excellence in Teaching Award from IIT Hyderabad (2021) Advising and Grants: Currently advises 4 PhD students and 1 M.Tech student. Secured research grants including: ₹33.79L from DST-SERB for PV power regulation under partial shading (2022-ongoing) Multiple projects from Hitachi India Limited (2012-2013, completed) Laboratory: Leads the SPARC Lab equipped with real-time simulators (eMEGASIM), solar PV emulators, power stacks (SEMIKRON), and control systems (CompactRIO, PXI) for power electronics and grid integration research.

Raghavendra Acharمشاهده پروفایل

دانشیار

• Cloud Computing
• Machine Learning
• Autonomous Vehicles
• +۴ مورد دیگر

Raghavendra Achar is an Associate Professor at the School of Computer Engineering , affiliated with Manipal University in Manipal, Karnataka, India. He holds degrees in Computer Science and Engineering, including a PhD, and contributes extensively to research in technology-driven solutions. Education : BE (CSE), MTech (CSE), PhD (CSE) His research spans Cloud Computing , Machine Learning , and Medical Imaging , with a focus on optimizing cloud resources, developing fuzzy logic systems for medical diagnostics, and enhancing autonomous vehicle technologies. Recent works include: 2024: Cross-layer refinement network for autonomous vehicle localization 2023: Fuzzy logic-based OCT image analysis for diabetic macular edema 2020: Cloud provider selection mechanisms and VM placement strategies 2018: Energy-efficient cloud resource provisioning He collaborates across disciplines, particularly in Artificial Intelligence and Healthcare Technology , though no specific awards or grants are highlighted in the provided text.

Sachchida Nand Tripathiمشاهده پروفایل

استاد

• Air Quality
• Climate Change
• Aerosol Science and Technology
• +۳ مورد دیگر

Sachchida Nand Tripathi is a Professor at the Department of Civil Engineering and Department of Sustainable Energy Engineering at Indian Institute of Technology Kanpur . With a career spanning over two decades, he has held leadership roles including Head of Civil Engineering (2018-2021), and maintains adjunct professorships at IIT Delhi's Centre of Excellence for Research on Clean Air (CERCA) and IIT Kanpur's Department of Earth Sciences. PhD in Environmental Engineering (University of Reading, UK, 2000) M.Tech in Environmental Engineering (MNIT-Allahabad, 1995) B.Tech in Civil Engineering (IIT-BHU, 1992) His research bridges Aerosol Science , Climate Change , and Air Quality Monitoring , with a focus on low-cost sensor development , aerosol-cloud-climate interactions , and nuclear safety aerosol dynamics . His work integrates laboratory experiments with field campaigns, particularly in the Indo-Gangetic Plain. Recent publications highlight machine learning calibration of air quality sensors , Covid-19 pollution reduction impacts , and radiative forcing analysis . Collaborative projects span institutions like Georgia Tech, University of Manchester, and CNRS-LISA. Major Awards : J C Bose National Fellow (2021), Shanti Swarup Bhatnagar Prize (2014), UP Ratna Award (2018) Students : Mentored 15+ PhD graduates now at institutions like Aarhus University, Yale, and BARC He leads the Aerosol-Climate-Health Research Group , maintains international collaborations, and contributes to policy through India's National Wind Tunnel Facility and National Centre for Flexible Electronics.