Startseite // SnT // People // Soumya Paul

Soumya Paul

Wissenschaftlicher Mitarbeiter

Fakultät oder Zentrum Interdisciplinary Centre for Security, Reliability and Trust
Forschungseinheit CSC
Postadresse Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
E-Mail
Telefon (+352) 46 66 44 5140
Fax (+352) 46 66 44 35140

Soumya Paul received his PhD degree in Theoretical Computer Science, from the Institute of Mathematical Sciences, Chennai - India, in 2012. After his PhD studies, he worked as Postdoctoral Researcher in the Institut de Recherche en Informatique de Toulouse, in France, as well as in the National University of Singapore. His primary research interests include Game Theory and Logic and their applications to study rational behaviour in intelligent agents. He has also worked in the area of Systems Biology in approximating probabilistic or non-deterministic dynamics of hybrid systems used to model bio-pathways and the area of Software Testing. Soumya works with Dr. Jun Pang and Prof. Sjouke Mauw. His office is located at Maison du Nombre on the Belval campus, number 03 25 100.

 

Education

  • PhD in Theoretical Computer Science. Institute of Mathematical Sciences, Chennai, India. 2007-2012. Supervisor: Prof. R. Ramanujam.
  • MSc in Theoretical Computer Science. Institute of Mathematical Sciences, Chennai, India. 2005-2007. Supervisor: Prof. R. Ramanujam.
  • BE in Computer Science. Birla Institute of Technology and Science, Pilani, India. 2001-2005.

Research interests

  • Game theory and its application to strategic reasoning, AI and Linguistics.
  • Algorithms, Logic and Automata theory.
  • Hybrid systems, Boolean networks and their applications to Systems Biology.
  • Software Testing.

Previous positions held

  • Postdoctoral researcher. Institut de Recherche en Informatique de Toulouse (IRIT), France. With Prof. Nicholas Asher. 2015-2017.
  • Postdoctoral researcher. School of Computing, National University of Singapore. With Prof. P. S. Thiagarajan. 2013-2015.
  • Postdoctoral researcher. Institut de Recherche en Informatique de Toulouse (IRIT), France. With Prof. Nicholas Asher. 2012-2013.

Selected publications

Journal proceedings
  • Soumya Paul and Nicholas Asher. Strategic Conversations under Imperfect Information: Epistemic Message Exchange games. Journal of Logic Language and Information (JoLLI) pages 1-43, Springer. doi=10.1007/s10849-018-9271-9, 2018.
  • Soumya Paul, Nicholas Asher and Antione Venant. Message Exchange Games in Strategic Contexts. In Journal of Philosophical Logic, eds. J. Horty et al, Volume 46, Issue 4, pages 355-404, Springer. doi=10.1007/s10992-016-9402-1, 2016.
  • Soumya Paul, Nicholas Asher and Cédric Dégremont. A Logic of Sights. In Journal of Logic and Computation, eds. D. Gabbay et al, Volume 27, Issue 4, pages 1225-1305, Oxford University Press. doi=10.1093/logcom/exv077, 2016.
  • Soumya Paul and Marcel Böhme. A Probabilistic Analysis of the Efficiency of Automated Software Testing. In IEEE Transactions on Software Engineering (TSE), eds. M.B. Dwyer, Volume 42, Issue 4, pages 345-360, IEEE Computer Society, doi:10.1109/TSE.2015.2487274, 2016. [rated among the top 50 most popular articles on IEEE Transactions on Software Engineering from April to September 2016].
  • Soumya Paul and R. Ramanujam. Subgames within Large Games and the Heuristic of Imitation. In Studia Logica, eds. T. Ågotnes, Volume 102, Issue 2, pages 361-388, Springer Netherlands, doi:10.1007/s11225-014-9549-0, 2014.
  • Soumya Paul and R. Ramanujam. Dynamics of Choice Restriction in Large Games. In International Game Theory Review, eds. T. Parthasarathy et al, Volume 15, No. 4, World Scientific Publishing Company, doi:10.1142/S02191989134003181340031, 2013. 
Conference proceedings
  • Soumya Paul, Cui Su, Jun Pang and Andzrej Mizera. A Decomposition-Based Approach Towards the Control of Boolean Networks. In Proceedings of the 9th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics (ACM BCB), Washington, D.C., 2018 (in press).
  • Soumya Paul, Jun Pang and Cui Su. Towards the Existential Control of Boolean Networks: A Preliminary Report. In Proceedings of the Symposium on Dependable Software Engineering (SETTA 2018), Beijing (in press).
  • Soumya Paul, Jun Pang and Cui Su. On the Full Control of Boolean Networks. In Proceedings of the 16th conference on Computational Methods in Systems Biology (CMSB 2018), Brno, Czech Republic (in press).
  • Soumya Paul and Nicholas Asher. Language Games. 20th International conference proceedings on Logical Aspects of Computational Linguistics (LACL 2016), LNCS Volume 10054, pages 1-17, Springer-Verlag Berlin Heidelberg, 2016.
  • Soumya Paul and Nicholas Asher. Evaluating Conversational Success: Weighted Message Exchange Games. In Proceedings of the 20th Workshop on the Semantics and Pragmatics of Dialogue (Semdial), eds. J. Hunter et al, pages 55-64, 2016.
  • Soumya Paul, P.S. Thiagarajan, Bing Liu, Benjamin Gyori and R. Ramanathan. Approximate Probabilistic Verification of Hybrid Systems. In Proceedings of the 4th International Workshop on Hybrid Systems Biology (HSB), eds. S. Istrail et al, LNBI Volume 9271, pages 96-116, Springer International Publishing, 2015.
  • Soumya Paul and Marcel Böhme. On the Efficiency of Automated Testing. In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), eds. S.C. Cheung et al, ACM Digital Library, pages 1-11, 2014.
  • Soumya Paul and Nicholas Asher. Infinite Games with Uncertain Moves. In Proceedings of the 1st International Workshop on Strategic Reasoning, eds. F. Mogavero et al, Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 25-32, 2013. 
  • Soumya Paul and R. Ramanujam. Dynamic Restriction of Choice: Synthesis of Societal Rules. In Proceedings of the 3rd International Workshop on Logic, Rationality and Interaction (LORI-III), eds. H. van Ditmarsch et al, pages 28-50, Springer-Verlag Berlin Heidelberg, 2011.
  • Soumya Paul and R. Ramanujam. Neighbourhood Structure in Large Games. In Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), eds., K.R. Apt, pages 121-130, ACM Digital Library, 2011.
  • Soumya Paul and R. Ramanujam. Imitation in Large Games. In Proceedings of the First International Symposium on Games, Automata, Logics and Formal Verification (GandALF), eds. M. Napoli et al, Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 162-172, 2010.
  • Soumya Paul and Sunil Simon. Nash Equilibrium in Generalized Muller Games. In Proceedings of the conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS), eds. R. Kannan et al, Leibniz International Proceedings in Informatics (LIPIcs), Volume 4, pages 335-346, 2009.
  • Soumya Paul, R. Ramanujam and Sunil Simon. Dynamic Restriction of Choices: A Preliminary Logical Report. In Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), eds. A. Heifetz, pages 218-226, ACM Digital Library, 2009.
  • Soumya Paul, R. Ramanujam and Sunil Simon. Stability under Strategy Switching. In Proceedings of the 5th Conference on Computability in Europe (CiE), eds. K. Ambos-Spies et al, LNCS Volume 5635, pages 389-398, Springer Heidelberg, 2009. 
Invited papers
  • Soumya Paul and Nicholas Asher. Conversation and Games. In Proceedings of the 7th Indian Conference on Logic and its Applications (ICLA), eds. S. Ghosh et al, LNCS Volume 10119, pages 1-18, Springer Berlin Hiedelberg, 2017.
  • Soumya Paul, Nicholas Asher and Julie Hunter. Games in Linguistics. In Proceedings of Sinn und Bedeutung 21, 2016. 
Book chapters
  • Soumya Paul, R. Ramanujam and Sunil Simon. Automata and Compositional Strategies in Extensive Form Games. In J. van Benthem, S. Ghosh and R. Verbrugge (eds.), Models of Strategic Reasoning: Logics, Games and Communities. FoLLI-LNAI State-of-the-Art Survey, LNCS Volume 8972, pages 174-201, Springer Heidelberg, 2015. 
Technical reports
  • Soumya Paul, P.S. Thiagarajan, Bing Liu, Benjamin Gyori and R. Ramanathan. Approximate Probabilistic Verification of Hybrid Systems. Technical Report, 2015. http://arxiv.org/abs/1412.6953
  • Soumya Paul and Nicholas Asher. Playing Infinite Games without a Full Deck. Technical Report, unpublished, 2013.
  • Soumya Paul, Hugo Gimbert and Youssouf Oualhadj and Soumya Paul. Computing Optimal Strategies in Markov Decision Processes with Parity and Positive Average Objectives. Technical Report, unpublished, 2011. 

Teaching

  • Joint-instructor and Teaching assistant. Theoretical Computer Science-I. BICS course for Semester 2, 2017-18. Université du Luxembourg.
  • Joint-instructor and Teaching assistant. Distributed Systems. MICS course for Semester 1, 2017-18. Université du Luxembourg.
  • Joint-instructor. Modeling conversational exchange using games. A course given at the 29th European Summer School in Logic, Language and Information (ESSLLI), Toulouse, France.

Last updated on: Freitag, den 15. Juni 2018