At IIT Kharagpur, researchers from Electrical, Electronics and Computer Science have come together to address some of the emerging research challenges in automotive control, safety critical avionic software, digital and analog integrated circuits, railway signaling/train control systems, and smart electrical grids. Proving the safety of such systems is one of the most significant concerns in these industries. Formal methods are logic based techniques which originated from Artificial Intelligence and have been refined over the years through new algorithms and powerful back-end SAT/SMT solvers to prove the correctness of a wide variety of software based systems. Leading organizations like NASA, Intel, Microsoft and Google have dedicated groups on formal methods.


Group Profile

  • 12+ PhDs produced, 9 ongoing
  • 200+ research papers, 3 books
  • Significant Industry Partnership and Major Research in: Modeling Formalisms | Decision Procedures | Software Verification | Hardware Verification | Verification of Control Systems | Performance verification | Power | Reliability | Timing

Recent Awards

  1. Aritra Hazra – ACM India Best PhD Award
  2. Aritra Hazra – IESA Technovation Award
  3. Sudipa Mandal, Antonio B. da Costa, received Best Student Paper Award at VLSI Design 2017
  4. P P Chakrabarti – IESA Technovisionary Award
  5. Pallab Dasgupta – Elected Fellow of Indian Academy of Science


ACADEMIA: TU Munich | TU Eindhoven | TU Delft | VERIMAG France | TU Darmstadt | EPFL Lausanne

INDUSTRY: Semiconductor Research Consortium (USA, India) | Intel (India, USA) | Synopsys (India, USA) | National Semiconductor Corporation (USA) | Google Inc. | IBM | Indian Railways | Hindustan Aeronautics Limited

Applications Open for

  1. FMSAFE (2 PhD/MS and 1 PostDoc positions):

    With opportunities for fundamental research on new generation formal tools and algorithms, students will have the unique opportunity to work jointly (and spend time) in three IITs. Possibilities to work closely with Indian Railways (the world’s largest railways) on next generation railway technologies.

  2. Indo-UK Clean Energy (1 PhD/MS position) :

    INDO-UK Consortium on Clean Energy Project on Strategies for Massive Integration of Solar Power in the Indian Power Grid.

  3. Synopsys CAD Labs (2 PhD/MS positions):

    A collaboration with the SEAL Lab IIT Kharagpur to develop formal methods for analyzing vulnerabilities in emerging protocols for security in automotive ECUs. We shall also examine the ISO26262 standards for designing new algorithms for fault selection and test generation for qualification of automotive components.

  4. Control Software design and validation for Hybrid Electric Vehicles (1 PhD/MS position):

    IITKGP and TATA motors are working towards an open architecture for smart Hybrid Electric vehicles. The related software and embedded platform development and formal verification activity shall be overseen by faculty members from this group in collaboration with faculty members from EE dept.

  5. CEFIPRA Airbus (likely) - (2 PhD/MS positions):

    INDO-FRENCH project with VERIMAG Laboratories in Grenoble, France. A student will spend some time in France and have the opportunity to work on formal modeling of aircraft stability control laws. This project is in partnership with Airbus Industries.

  6. Software Tool for Planning and Design of Smart Micro Power Grids - (2 PhD/MS positions):

    Development of CAD tools for design of Micro-Grids which will serve as smart power sources combining renewable and nonrenewable energy.

Major Publication Venues

JOURNALS: IEEE Trans. CAD, IEEE Trans. Intell Transportation Sys., Journal of Applied Logic, IEEE Design & Test, Journal of Automated Reasoning, FAOC, IEEE Embedded Systems Letters, IEEE Trans. VLSI, JOLPE, VLSICS, ACM SIGSOFT, ACM TODAES, IET Computers and Digital Techniques, IEEE Transactions Computers


Projects Executed

  • Verification of Digital Integrated VLSI Circuits: Intel(Bangalore), Synopsys (India, USA), National Semiconductor Co. (USA), Intel (USA,Israel)
  • Verification of Mixed-Signal Integrated Circuits: Semiconductor Research Co. (USA), National Semiconductor Co. (Scotland)
  • Verification of Power Intent and Power Management Strategies: General Motors (India, USA)
  • Verification of Web Interfaces: Google Inc.
  • Verification of Railway Interlocking: Indian Railways
  • AUTOSAFE: Architecture-aware timing analysis and optimization of safety critical automotive software