Devleena Ghosh is an Assistant Professor in Department of Computer Science and Technology at IIEST, Shibpur.
Her current research areas include applications of Machine Learning methods in Computational Biology and EDA (hardware verification and testing).
She also has industry experiences in IBM Systems Development Lab (2 years) and Microsoft India (2.5 years).
- B.E. in Computer Science and Technology from IIEST, Shibpur (Previously BESU, Shibpur)
- M.Tech. in Computer Science and Engineering from IIT Kharagpur
- PhD in Computer Science and Engineering from IIT Kharagpur
Research Areas:
- Computational Biology
- ML Applications
- Formal Methods Applications
- Testing and Verification of Circuits
1
Devleena Ghosh, Chittaranjan Mandal, Subject-Specific Dosage Estimation for Primary Hypothyroidism Using Sparse Data, Vol. 32, No. 4, 417-443, Journal of Computational Biology, Mary Ann Liebert, 2025
2
Manoja RA, Devleena Ghosh, Chittaranjan Mandal, Venkatesh KV, Jit Sarkar, Partha Chakrabarti, Sujay K Maity, Parameter Estimation for the Oral Minimal Model and Parameter Distinctions Between Obese and Non-Obese Type 2 Diabetes, Vol 5, No 1, 15-27, DNA and Cell Biology Reports, Mary Ann Liebert, 2024
3
Devleena Ghosh, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Surendran Sudhakar, MAB-BMC: A Formal Verification Enhancer by Harnessing Multiple BMC Engines Together, Volume 29, Issue 5, Article No.: 75, Pages 1 - 37, ACM Transactions on Design Automation of Electronic Systems, 2024
4
Devleena Ghosh, Chittaranjan Mandal, SMT based parameter identifiable combination detection for non-linear continuous and hybrid dynamics, Vol 36, No 3, Article 15, 1-41, ACM Journal on Formal Aspects of Computing: Applicable Formal Methods (FAC), 2024
5
Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly and Ansuman Banerjee, Harnessing Multiple BMC Engines together for Efficient Formal Verification, 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE), Hamburg, Germany, 2023
6
Devleena Ghosh, Chittaranjan Mandal, Clustering Based Parameter Estimation of Thyroid Hormone Pathway, Vol. 19, No. 1, 343-354, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2022
7
Arindam Das, Manoj Gangwar, Devleena Ghosh, Chittaranjan Mandal, Anirban Sengupta, M M Waris, Automatic Generation of Route Control Chart from Validated Signal Interlocking Plan, Vol. 22, No. 10, 6516-6525, IEEE Transactions on Intelligent Transportation Systems, 2021
8
Gargi Roy, Devleena Ghosh, Chittaranjan Mandal, COLDVL: A Virtual Laboratory Tool with Novel Features to Support Learning in Logic Design and Computer Organisation, Vol. 4, No. 4, pp 461-490, Journal of Computers in Education, 2017
Orcid