• Home
  • Formal Verification Research
    • Language Formalisms And Decision Procedures
    • Verification Methodologies For The Circuit Domain
    • Verification of Automated Systems
  • Tool Developed
  • Group Members
  • Contact
  • Photo Gallery

Dr. Pallab Dasgupta

Professor, Department of Computer Science and Engineering
Dean, Sponsored Research and Industrial Consultancy (SRIC)
Indian Institute of Technology, Kharagpur
West Bengal, India 721302

Phone: +91 3222 283470
FAX: +91 3222 255303
Email: pallab(AT)cse[DOT]iitkgp[DOT]ernet[DOT]in
Home Page: http://cse.iitkgp.ac.in/~pallab



Dr. Soumyajit Dey

Assistant Professor, Department of Computer Science and Engineering
Indian Institute of Technology, Kharagpur
West Bengal, India 721302

Phone: +91 3222 282348
Email: soumya(AT)cse[DOT]iitkgp[DOT]ernet[DOT]in
Home Page: http://cse.iitkgp.ac.in/~soumya

FV Group