M N Faruqui Innovations Centre

Innovations Portal

Indian Institute of Technology Kharagpur
    • Soumyajit Dey


    Ph.D.(IIT Kharagpur)

    Assistant Professor, Computer Science & Engineering
    S Dey joined the Institute in 2014


    Contact Addresses
    Residence 2BR-102, IIT Campus, Kharagpur 721302
    Phone (office) +91 - 3222 - 282348
    Phone (residence) +91 - 3222 - 260346 (IIT Phone)
    email soumya @ cse.iitkgp.ernet.in
    Personal web page


    Research Areas
    • Formal Methods for Embedded System Design and Verification
    • High Performance Architecture
    • Assistive Technologies
    • For more information: http://cse.iitkgp.ac.in/~soumya/


    Member of Professional Bodies
    • Member : IEEE


    Current Sponsored Projects
    • Project Title : SYNTHESIZING TEST PROGRAMS AS DIRECTED TEST FAMILIES FOR INCREMENTAL CPU VALIDATION
      Principal Investigator : Soumyajit Dey
      Co-Principal-Investigators : Pallab Dasgupta
      Sponsor : Intel
    • Project Title : M N FARUQUI INNOVATION CENTRE PROJECTS
      Principal Investigator : Prof. Cheruvu Siva Kumar
      Co-Principal-Investigators : Prof. Dhrubajyoti Sen, Prof. Soumyajit Dey, Prof. Chirag Deepak Kalelkar
      Sponsor : Arjun Malhotra endowment to IIT Kharagpur
    • Project Title : Static Analysis Based Partitioning Techniques for GPGPU Programs
      Principal Investigator : Soumyajit Dey
      Sponsor : ISIRD Grant, SRIC IIT Kharagpur
    • Project Title : Intel Embedded Innovation Lablet
      Principal Investigator : P. P. Chakrabarti, P. Dasgupta, S. Dey
      Sponsor : Intel Semiconductor (US) Limited
    • Project Title : Architecture-aware timing analysis and optimization of safety-critical automotive software
      Principal Investigator : P.P. Chakrabarti, Pallab Dasgupta
      Co-Principal-Investigators : Soumyajit Dey
      Sponsor : Indo-German Science & Technology Centre


    On-going Consultancy Projects
    • Project Name : Architecture and Algorithmic Optimizations for Speech based Communication Interfaces on Mobile Devices
      Client : Intel Corporation
      Consultant : Soumyajit Dey
      Co-consultant(s) : Pabitra Mitra, Anupam Basu


    Publications: 2013 - 2014
    • A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems by Soumyajit Dey, Dipankar Sarkar, Anupam Basu IEEE Transaction Computers, vol 62(10),1917-1931 (2013)
    Copyright © 2014-2025 M. N. Faruqui Innovations Centre, IIT Kharagpur