Host: Dr. V. K. Tiwari, Agricultural & Food Engineering Department, IIT Kharagpur, India
Host: Dr. N.K. Kishore, Department of Electrical Engineering, IIT Kharagpur, India
Research Areas:Modelling and simulation of Fluid and Mechanical Drive systems
Host: Dr. R. Maiti, Department of Mechanical Engineering, IIT Kharagpur, India
Awards and Honors:
Research Areas: Monitoring and trace-based predictive analysis
Host: Dr. Niloy Ganguly, Department of Computer Science & Engineering, IIT Kharagpur, India
Host: Dr. Rogers Mathew, Department of Computer Science & Engineering Joint workshop for future collaborations with Ben-Gurion University of the Negev, Israel
Research Areas: Systems design and analysis, biomedical informatics, operations research and applied math
Dr. Bachmat has contributed on many aspects in storage system designs and currently working on analysis of express lines in supermarkets and airplane boarding policies. He is also interested in linking queuing theory with number theory. He is also working on optics in space-time geometry and partially ordered sets, trying to build (mathematically) thin focal lenses. Dr. Bachmat is currently heading the teaching committee of Department of Computer Science
Research Areas: Conceptual Data Modelling, Object-oriented System analysis and design, Software Engineering, Knowledge representation, Theory of database and knowledge base systems, Programming Languages and Computer Music
Research Areas: Theoretical Computational Vision, Human Perception and Visual Psychophysics, Visual Computational Neuroscience, Animal Vision, Biologically Inspired Robot Vision and Applied Computer Vision for Robotics.
He obtained his MPhil and PhD in Computer Science and Computational Vision from Yale University, CT, USA. He has founded and direct the Interdisciplinary Computational Vision Laboratory in his department.
Research Areas: Classical and decision-theoretic planning and decision-making, preference modeling and preference elicitation, preference-based optimization, agent models and multi-agent and distributed planning
His current focus includes automated planning and decision-making, decision automation, distributed and multi-agent planning, process automation, and task monitoring. His consulting work includes business process automation and integration, real-time event monitoring and analysis, algorithms for autonomous exploration for NASA's rovers, missing scheduling, and real-time decision making
Research Areas: Theoretical computer science, distributed computing and communication networks, Fault tolerance with emphasis on self-stabilization, Communication networks including Traditional networks, High-Speed, Mobile, Ad-Hoc and Sensor networks, Swarms, Game Theory, Cryptography and Security, Error and Erasure Tolerating Codes, Complex Networks, Optical super-computing, holographic super-computing and brain coding and functionality.
He is best known for his contribution to self-stabilization. He has published a book with the title “Self Stabilization” in 2000.
Research Areas: Development and application of formal techniques to aid in the compilation and implementation of sequential and concurrent logic programming languages as well as to analyse, optimise and reason about such programmes; these techniques are formal and include primarily: partial evaluation ( programme specialization) and abstract interpretation(semantic-based programme analysis)
Research Areas: Synthesizing programmes and data structures, Software verification by Abstract interpretation, Shape Analysis
He obtained his PhD in 2009 from Tel Aviv University, Computer Science with a thesis titled “Partially Disjunctive Shape Analysis”.
Research Areas: Theoretical computer science (combinatorics), discrete geometry, metric spaces, and their application to computer science and algorithms.
He obtained his PhD from The Hebrew university, Jerusalem in 2010. The title of his thesis is “A Novel Approach to Embedding of Metric Spaces”
Research Areas: Theories and tools for high-level modeling, design and analysis of embedded software, Behavioral and Scenario based approaches to software engineering, Hybrid Systems (discrete + continuous), Formal Methods and Control Theory.
He obtained his PhD in Applied Mathematics and Computer Science in 2006 from The Weizmann Institute of Science with a thesis titled: “State Nullification by Output Feedback”.