Research

• Formal Methods for Embedded System Design and Verification
• Assistive Technologies

Publications

PhD Publications

Journals

• Soumyajit Dey, Dipankar Sarkar, Anupam Basu "A Tag Machine based Performance Evaluation Method for Job-Shop Schedules", IEEE TCAD, vol 29(7), pp 1028-1041, 2010 . Digital Object Identifier : 10.1109/TCAD.2010.2049067

• Soumyajit Dey, Dipankar Sarkar, Anupam Basu "A Kleene Algebra of Tagged System Actors" - accepted in IEEE Embedded Systems Letters (Camera ready pdf) DOI (identifier) 10.1109/LES.2010.2098846

• Soumyajit Dey, Praveen Rokkam, Anupam Basu "Modeling and Analysis of Embedded Multimedia Applications using Colored Petri Nets" - accepted in International Journal of Modeling, Simulation, and Scientific Computing, World Scientific Publishing Company

MS Publications

Research Monograph

• "Embedded Architectures for Speech and Machine Learning - A Design Space Exploration Approach" by Soumyajit Dey and Anupam Basu, LAMBERT Academic Publishing (2010), ISBN-10: 3838397304.

Journals

• Arijit Mukhopadhyay, Monojit Choudhury, Soumen Chakraborty, Anirban Lahiri, Soumyajit Dey, Anupam Basu "Shruti - An Embedded Text to Speech System for Indian Languages", IEE Proceedings on Software Engineering, April 2006, Vol 153-(2), pp 75-79.

Conferences

• Soumyajit Dey, Monu Kedia, Anupam Basu "An Approach to Software Performance Evaluation on Customized Embedded Processors", International Conference on VLSI Design 2008. Highlighted in EETimes
• Soumyajit Dey, Monu Kedia, Anupam Basu, "Architectural Optimizations for Text to Speech Synthesis in Embedded Systems", ASPDAC 2007
• Soumyajit Dey, Monu Kedia, Niket Agarwal, Anupam Basu "Embedded Support Vector Machine: Architectural Enhancements and Evaluation", International Conference on VLSI Design 2007
• Soumyajit Dey, Susmit Biswas, Arijit Mukhopadhyay Anupam Basu "An Approach to Architectural Enhancement for Embedded Speech Applications", International Conference on VLSI Design 2006

Other Publications

• Ratnajit Mukherjee, Soumyajit Dey, Sumit Das, Anupam Basu "An Iconic and keyboard based Communication Tool for People with Multiple Disabilities", IEEE TechSym'10.
• Soumyajit Dey, Ratnajit Mukherjee, Anupam Basu "Embedded Sanyog: a Portable Communication Tool for People with Multiple Disabilities", EISE 2009.
• Arijit Mukhopadhyay, Soumyajit Dey, Pawan Saraswat, Susmit Biswas, Vijay Srinivas Nori, Samit Bhattacharya, Anupam Basu "Sanyog: An Iconic Communication Aid for Children Suffering from Cerebral Palsy and Motor Neuron Disorders", International Conference on VLSI Design 2006 - Student Design Contest, Winner of best Design award
• Soumyajit Dey, Kinjal Nandy, Amit Konar "Macro-cell placement and Routing in VLSI using Genetic Algorithms", CODIS 2004

Posters

• Research Scholar Day 2011 poster

• Research Scholar Day 2010 poster

Presentations

• A Reasoning Framework for TSM actors

Activities

• Reviewer and Track Chair : IEEE Techsym 2010, 2011
• Reviewer : VLSI 2006, VLSI 2007
• Reviewer : Tranasactions on Parallel and Distributed Systems
• Teaching Assistant for Operating Systems Lab under Prof. A. Basu and Prof. Indranil Sengupta
• Teaching Assistant for Programming and Data Structures Lab under Goutam Biswas
• Teaching Assistant for Programming and Data Structures Theory under Prof. A. Basu
• Teaching Assistant for Discrete Structures under Prof. A. Das
• Teaching Assistant for Embedded Systems under Prof. A. Basu
• Teaching Assistant for Formal Systems, Theory of Computation, Logic in Computer Science under Prof. D. Sarkar
• Teaching Assistant for Formal Languages and Automata Theory under Prof. A. K. Majumdar

Projects

• Design and development of Embedded Sanyog - Part of team developing Sanyog, an Iconic Communication Tool on the TI-OMAP1510 platform.

• Design and development of Embedded Shruti - Part of team developing Shruti, a Text to Speech System for Indian Languages on commercial embedded platforms like the Compaq iPaq, Casio Cassiopeia and TI-OMAP1510.

• Target Tracking using Mobile Robots, Macro-cell placement and Routing in VLSI CAD using Genetic Algorithms.

Work Experience

• Senior Project Assistant, Sponsored Research & Industrial Consultancy, IIT Kharagpur (July 2004 - June 2007)
• Research Consultant, Sponsored Research & Industrial Consultancy, IIT Kharagpur (July 2007 - till date)

Education

• B.E. in Electronics and Telecommunications Engineering, Jadavpur University, Kolkata (2004).
  • Percentage: 85.3%
• MS (by Research) from Indian Institute of Technology (IIT) Kharagpur (2007)
• CGPA: 9.79
• Thesis: Embedded Architectures for Speech and Machine Learning: a Design Space Exploration Approach
• Pursuing PhD in Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur
• Thesis: Formal Analysis of Heterogeneous Embedded Systems using Tagged Signal Models

Awards

• First Prize in the Design Contest held at the 19th International Conference on VLSI Design,2006.
• Winner of DST-Intel Technology Business Plan Contest 2006-07. Secured the first place at the national level and competed in the main event held at UC Berkeley, Haas School of Business.

Others

• Photo Gallery