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.
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
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
CONFERENCES: IET Railway Engineering, FORMATS, VLSID, IEEE MSC, IJCAI, PReMI, ISEC, DATE, MeMoCODE