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

Deciding Reachability and Coverability in Lossy EOS

Francesco Di Cosmo, Soumodev Mal, and Tephilla Prince • Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2024) co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), Geneva, Switzerland, CEUR Workshop Proceedings Volume 3730, 74-95 Link

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

Talks

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

joint work with C. Aiswarya, CMI and Prakash Saivasan, IMSc

invited talk at ARCS 2023, OIST, Bhopal, India• February 2023

Indian SAT+SMT School, co located with FSTTCS 2022 at IIT Madras• December 2022

Online Student talk series: OFCOURSE, MPI-SWS, Germany• December 2022

LICS 2022, Technion, Haifa, Israel• August 2022

FM Update 2022, IIT Delhi, India• July 2022

Online talk at Highlights 2022, Paris, France• June 2022