Dr Sonia Marin

Sonia Marin

School of Computer Science
Assistant Professor

Contact details

Address
University of Birmingham
Edgbaston
Birmingham
B15 2TT
UK

Dr Sonia Marin is an Associate Professor in Computer Science at the University of Birmingham, specialising in proof theory and intuitionistic modal logics.

Qualifications

  • PhD in Computer Science, Université Paris Saclay, 2018
  • MSc in Cognitive Science, Université Paris Descartes, 2014
  • MSc in Mathematical Logic, Université Paris Diderot, 2013
  • BSc in Mathematics, Université Paris Curie, 2011

Biography

Dr Sonia Marin is a Lecturer in the School of Computer Science and a member of the Theory of Computation research theme. She completed her PhD in Computer Science in 2018 at Inria Saclay. Her research focuses on proof theory, intuitionistic modal logics, and formal reasoning. After her PhD, she was a postdoctoral researcher at the IT University of Copenhagen, then joined University College London as a research fellow. Since 2021, she has been at the University of Birmingham, where she conducts research, teaches courses, and supervises students on topics related to logic, computation, and formal methods.

Publications

Recent publications

Article

Marin, S, Miller, D, Pimentel, E & Volpe, M 2022, 'From axioms to synthetic inference rules via focusing', Annals of Pure and Applied Logic, vol. 173, no. 5, 103091. https://doi.org/10.1016/j.apal.2022.103091

Marin, S, Morales, M & Straßburger, L 2021, 'A fully labelled proof system for intuitionistic modal logics', Journal of Logic and Computation, vol. 31, no. 3, pp. 998–1022. https://doi.org/10.1093/logcom/exab020

Kuznets, R, Marin, S & Straßburger, L 2021, 'Justification logic for constructive modal logic', Journal of Applied Logics - IfCoLog, vol. 8, no. 8, pp. 2313-2332. <https://www.collegepublications.co.uk/ifcolog/?00050>

Conference contribution

Girlando, M, Kuznets, R, Marin, S, Morales, M & Straßburger, L 2024, A Simple Loopcheck for Intuitionistic K. in G Metcalfe, T Studer & R de Queiroz (eds), Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings. 1 edn, Lecture Notes in Computer Science, vol. 14672, Springer, pp. 47-63, 30th Workshop on Logic, Language, Information and Computation, Bern, Switzerland, 10/06/24. https://doi.org/10.1007/978-3-031-62687-6_4

Das, A, van der Giessen, I & Marin, S 2024, Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics. in A Murano & A Silva (eds), 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Leibniz International Proceedings in Informatics, LIPIcs, vol. 288, Schloss Dagstuhl, pp. 22:1-22:18, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Naples, Italy, 19/02/24. https://doi.org/10.4230/LIPIcs.CSL.2024.22

Marin, S & Padhiar, P 2024, Nested proof theory for quasi-transitive modal logics. in Advances in Modal Logic. Advances in Modal Logic, College Publications, Advances in Modal Logic 2024, Advances in Modal Logic 2024, Czech Republic, 19/08/24.

Carbone, M, Marin, S & Schürmann, C 2023, A Logical Interpretation of Asynchronous Multiparty Compatibility. in R Glück & B Kafle (eds), Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Lecture Notes in Computer Science, vol. 14330, Springer. https://doi.org/10.1007/978-3-031-45784-5_7

Girlando, M, Kuznets, R, Marin, S, Morales, M & Straßburger, L 2023, Intuitionistic S4 is decidable. in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): June 26 2023 to June 29 2023 Boston, MA, USA. Annual Symposium on Logic in Computer Science, IEEE, 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston, United States, 26/06/23. https://doi.org/10.1109/LICS56636.2023.10175684

Das, A & Marin, S 2023, On Intuitionistic Diamonds (and Lack Thereof). in R Ramanayake & J Urban (eds), Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14278 LNAI, Springer, pp. 283-301, 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, Prague, Czech Republic, 18/09/23. https://doi.org/10.1007/978-3-031-43513-3_16

Das, A & Marin, S 2022, Modal logic and the polynomial hierarchy: from QBFs to K and back. in D Fernández-Duque, A Palmigiano & S Pinchinat (eds), Advances in Modal Logic: Volume 14. Advances in Modal Logic, vol. 14, College Publications, pp. 329-348, Advances in Modal Logic 2022, Rennes, France, 22/08/22. <http://www.aiml.net/volumes/volume14/21-Das-Marin.pdf>

Marin, S, Pereira, LC, Pimentel, E & Sales, E 2021, A Pure View of Ecumenical Modalities. in A Silva, R Wassermann & R de Queiroz (eds), Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings. Lecture Notes in Computer Science, vol. 13038, Springer, pp. 388–407, 27th Workshop on Logic, Language, Information and Computation, 5/10/21. https://doi.org/10.1007/978-3-030-88853-4_24

Gheorghiu, A & Marin, S 2021, Focused Proof-search in the Logic of Bunched Implications. in Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings. Lecture Notes in Computer Science, vol. 12650, Springer, pp. 247–267. https://doi.org/10.1007/978-3-030-71995-1_13

View all publications in research portal