About Me

Hi! I am a PhD student at Chennai Mathematical Institute, India working under the supervision of C. Aiswarya and Prakash Saivasan.

My interests broadly lie in Formal verification. I am currently working on the verification of String Constraints. I am also interested in Infinite State Systems and Concurrency Theory.

Contact Details

Soumodev Mal
FL-8, Chennai Mathematical Institute
H1, SIPCOT IT Park, Siruseri,
Kelambakkam-603103, India
Email: [full-name]@cmi.ac.in

Download Resume

Education

PhD in Theoretical Computer Science

Chennai Mathematical Institute • September 2021 - present

Supervisors: C. Aiswarya, CMI and Prakash Saivasan, IMSc

MSc in Computer Science

Chennai Mathematical Institute • August 2019 - July 2021

Thesis: On the Satisfiability of Straight-Line String Constraints over Sub-Word Ordering
Advisors: C. Aiswarya, CMI and Prakash Saivasan, IMSc

BSc in Computer Science

Scottish Church College, Calcutta University • August 2016 - July 2019

Publications

Here is a link to my DBLP

Satisfiability of Context-free String Constraints with Subword-ordering and Transducers

C. Aiswarya, Soumodev Mal, and Prakash Saivasan • 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024) Leibniz International Proceedings in Informatics (LIPIcs), Volume 289, pp. 5:1-5:20, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik (2024) Link

On the Satisfiability of Context-free String Constraints with Subword-Ordering

C. Aiswarya, Soumodev Mal, and Prakash Saivasan • Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science.(LICS 2022) Association for Computing Machinery, New York, NY, USA, Article 6, 1–13 Link