???global.info.a_carregar???
I hold a degree in Applied Mathematics and Computation from IST (UTL, Lisbon) and completed my PhD at King's College London under the supervision of Dov Gabbay and Agi Kurucz on "Modal Logic for Changing Systems." My teaching experience includes assistant roles in Foundations of Computing and Computer Science Logic. Post-PhD, I was a postdoctoral researcher under Carlos Caleiro with an FCT grant (2012-2018) and have been a hired researcher at SQIG@Instituto de Telecomunicações since 2018. My work was honored with the Amílcar Sernadas prize in 2021 for the paper "An Unexpected Boolean Connective." In 2022, I secured a position as Associate Researcher in the Individual Call to Scientific Employment Stimulus - 4th Edition, in the panel of Mathematics and Computer and Information Sciences. Also in 2022, I joined the editorial board of the prestigious journal Studia Logica. I have authored approximately 25 publications, including articles in top-tier journals, book chapters, and conference proceedings, and maintain active collaborations across Austria, Brazil, Germany, Italy, Netherlands, Russia, Spain, and the UK. I have also (co)supervised several undergraduate and master students and one PhD student.
Read full resume ↓
Identification

Personal identification

Full name
Sérgio Roseiro Teles Marcelino

Citation names

  • Marcelino, Sérgio

Author identifiers

Ciência ID
2B12-FA58-3C7C
ORCID iD
0000-0002-6941-7555

Websites

Knowledge fields

  • Exact Sciences - Mathematics

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Italian Advanced (C1) Advanced (C1) Intermediate (B1) Advanced (C1)
Education
Degree Classification
2011
Concluded
 Phd (Doutoramento)
Kings College London (University of London), United Kingdom
"Modal Logic for Changing Systems" (THESIS/DISSERTATION)
 n/a
2006
Concluded
 Matemática Aplicada e Computação/Applied Mathematics and Computation (5 year degree) (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
"An algebraic generalization of Kripke structures" (THESIS/DISSERTATION)
 18/20
Affiliation

Science

Category
Host institution 		Employer
2022/07/01 - Current Auxiliary Researcher (Research) Instituto de Telecomunicações, Portugal
Instituto de Telecomunicações, Portugal
2017/11/01 - 2022/06/30 Contracted Researcher (Research) Instituto de Telecomunicações, Portugal
Instituto de Telecomunicações, Portugal
2012 - 2017 Postdoc (Research) Fundação para a Ciência e a Tecnologia, Portugal
Instituto de Telecomunicações, Portugal
Projects

Contract

Designation Funders
2022/07/01 - Current Assistant researcher - CEEC (C&T4L)
2021.00240.CEECIND
Assistant researcher
Instituto de Telecomunicações, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2017/11/01 - 2022 Modular Analysis of Logical Calculli (MoLC)
IT-LA
Researcher
Instituto de Telecomunicações, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2013/01/01 - 2016/12/31 Generalizing Truth-Functionality
info:eu-repo/grantAgreement/EC/FP7/318986/EU
Researcher
Instituto de Telecomunicações, Portugal
 European Commission
Concluded
2007/07/15 - 2010 KLog: Kleistic Logic
info:eu-repo/grantAgreement/FCT/3599-PPCDT/68723/PT
Researcher
European Commission
Concluded

Other

Designation Funders
2019/01/01 - Current Proof search for Substructural and modal logics (PROSA)
CNPq 429403/2018-6
Researcher
Universidade Federal do Rio Grande do Norte, Brazil
Ongoing
Outputs

Publications

Book chapter
  1. Sérgio Marcelino. "Higher-Order Arrows for Path-Dependent Many-Valued Systems". 2026.
    10.1007/978-3-031-94748-3_5
  2. Vitor Greati; Sérgio Marcelino; Miguel Muñoz Pérez; Umberto Rivieccio. "Analytic Calculi for Logics of Indicative Conditionals". 2026.
    10.1007/978-3-032-06085-3_4
  3. Vitor Greati; Sérgio Marcelino; Umberto Rivieccio. "Axiomatizing the Logic of Ordinary Discourse". 2025.
    10.1007/978-3-031-74000-8_32
  4. Marcelino, Sérgio; Caleiro, Carlos; Filipe, Pedro. "Computational Properties of Partial Non-deterministic Matrices and Their Logics". In Logical Foundations of Computer Science, 180-197. Springer International Publishing, 2021.
    10.1007/978-3-030-93100-1_12
  5. Vitor Greati; Sérgio Marcelino; João Marcos. "Proof Search on Bilateralist Judgments over Non-deterministic Semantics". In In: Das A., Negri S. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021. Lecture Notes in Computer Science, 129-146. Springer International Publishing, 2021.
    10.1007/978-3-030-86059-2_8
  6. Caleiro, Carlos; Marcelino, Sérgio. "On Axioms and Rexpansions". In In: Arieli O., Zamansky A. (eds) Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Outstanding Contributions to Logic, 39-69. Springer International Publishing, 2021.
    Published • 10.1007/978-3-030-71258-7_3
  7. Caleiro, Carlos; Marcelino, Sérgio. "Analytic Calculi for Monadic PNmatrices". In Logic, Language, Information, and Computation, 84-98. Springer Berlin Heidelberg, 2019.
    10.1007/978-3-662-59533-6_6
  8. Marcelino, Sérgio; Caleiro, Carlos; Rivieccio, Umberto. "Plug and Play Negations". In Contradictions, from Consistency to Inconsistency, 307-322. Springer International Publishing, 2018.
    10.1007/978-3-319-98797-2_14
  9. Marcelino, Sérgio; Caleiro, Carlos. "Disjoint Fibring of Non-deterministic Matrices". In Logic, Language, Information, and Computation, 242-255. Springer Berlin Heidelberg, 2017.
    Published • 10.1007/978-3-662-55386-2_17
  10. Caleiro, Carlos; Marcelino, Sérgio; Marcos, João. "Merging Fragments of Classical Logic". In Lecture Notes in Computer Science, edited by C. Dixon; M. Finger, 298-315. Springer International Publishing, 2017.
    Published • 10.1007/978-3-319-66167-4_17
  11. Marcelino, Sérgio; Caleiro, Carlos; Baltazar, Pedro. "Deciding Theoremhood in Fibred Logics Without Shared Connectives". In The Road to Universal Logic, 387-406. Springer International Publishing, 2015.
    Published • 10.1007/978-3-319-15368-1_18
  12. Kurucz, A.; Marcelino, S.. "Finite frames for K4.3 × S5 are decidable". In Advances in Modal Logic, 411-436. College Publications, 2012.
    Published
Conference paper
  1. Pedro Filipe; Caleiro, Carlos; Marcelino, Sérgio. Corresponding author: Pedro Filipe. "Monadicity of non-deterministic logical matrices is undecidable". Paper presented in Non-ClassicalLogics, Theory and Applications, 2022.
    10.4204/eptcs.358
  2. Caleiro, Carlos; Marcelino, Sergio; Filipe, Pedro. "Infectious semantics and analytic calculi for even more inclusion logics". Paper presented in IEEE International Symposium on Multiple-Valued Logic, 2020.
    10.1109/ismvl49045.2020.000-1
Journal article
  1. Carlos Caleiro; Pedro Filipe; Sérgio Marcelino. "Equivalence of Finite Non-deterministic Logical Matrices is Undecidable". Studia Logica (2025): https://doi.org/10.1007/s11225-025-10212-x.
    10.1007/s11225-025-10212-x
  2. Vitor Greati; Sérgio Marcelino; João Marcos; Umberto Rivieccio. "Adding an implication to logics of perfect paradefinite algebras". Mathematical Structures in Computer Science (2024): https://doi.org/10.1017/S0960129524000227.
    10.1017/S0960129524000227
  3. CALEIRO, CARLOS; MARCELINO, SÉRGIO. "MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS". The Journal of Symbolic Logic 89 2 (2024): 583-636. https://doi.org/10.1017/jsl.2023.22.
    Published • 10.1017/jsl.2023.22
  4. Vitor Rodrigues Greati; Sérgio Roseiro Teles Marcelino; Umberto Rivieccio. "Finite Hilbert Systems for Weak Kleene Logics". Studia Logica 112 6 (2024): 1215-1241. http://www.it.pt/Publications/PaperJournal/34352.
    10.1007/s11225-023-10079-w
  5. Filipe, Pedro; Marcelino, Sérgio; Caleiro, Carlos. "Computational properties of finite PNmatrices". Journal of Logic and Computation 32 8 (2022): 1694-1719. http://dx.doi.org/10.1093/logcom/exac073.
    Published • 10.1093/logcom/exac073
  6. Carlos Caleiro; Sérgio Marcelino. "Decidability Preservation and Complexity Bounds for Combined Logics". Mathematics (2022): https://doi.org/10.3390/math10193481.
    10.3390/math10193481
  7. Sérgio Marcelino; Umberto Rivieccio. "Finite axiomatizability of logics of distributive lattices with negation". Logic Journal of the IGPL na na (2022): na-na. http://www.it.pt/Publications/PaperJournal/33171.
    10.1093/jigpal/jzac043
  8. Marcelino, Sérgio; Rivieccio, Umberto. "Logics of involutive Stone algebras". Soft Computing 26 7 (2022): 3147-3160. http://dx.doi.org/10.1007/s00500-022-06736-2.
    10.1007/s00500-022-06736-2
  9. Marcelino, Sérgio; Umberto Rivieccio. "Finite axiomatizability of logics of distributive lattices with negation". Logic Journal of the IGPL (2022): https://arxiv.org/abs/2102.05421.
    Accepted
  10. Marcelino, Sérgio. "An Unexpected Boolean Connective". Logica Universalis 16 1-2 (2021): 85-103. http://dx.doi.org/10.1007/s11787-021-00280-7.
    10.1007/s11787-021-00280-7
  11. Hampson, Christopher; Kikot, Stanislav; Kurucz, Agi; Marcelino, Sérgio. "Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations". Annals of Pure and Applied Logic 171 5 (2020): 102786. http://dx.doi.org/10.1016/j.apal.2020.102786.
    10.1016/j.apal.2020.102786
  12. Marcelino, Sérgio; Caleiro, Carlos. "Axiomatizing non-deterministic many-valued generalized consequence relations". Synthese (2019): http://dx.doi.org/10.1007/s11229-019-02142-8.
    10.1007/s11229-019-02142-8
  13. Caleiro, Carlos; Marcelino, Sérgio; Marcos, João. "Combining fragments of classical logic: When are interaction principles needed?". Soft Computing 23 7 (2018): 2213-2231. http://dx.doi.org/10.1007/s00500-018-3584-0.
    10.1007/s00500-018-3584-0
  14. Caleiro, Carlos; Marcelino, Sérgio; Rivieccio, Umberto. "Characterizing finite-valuedness". Fuzzy Sets and Systems 345 (2018): 113-125. http://dx.doi.org/10.1016/j.fss.2017.10.014.
    10.1016/j.fss.2017.10.014
  15. Marcelino, Sérgio; Caleiro, Carlos. "On the characterization of fibred logics, with applications to conservativity and finite-valuedness". Journal of Logic and Computation 27 7 (2017): 2063-2088. http://dx.doi.org/10.1093/logcom/exw023.
    Published • 10.1093/logcom/exw023
  16. Marcelino, Sérgio; Rivieccio, Umberto. "Locally Tabular != Locally Finite". Logica Universalis 11 3 (2017): 383-400. http://dx.doi.org/10.1007/s11787-017-0174-3.
    10.1007/s11787-017-0174-3
  17. Marcelino, S.; Caleiro, C.. "Decidability and complexity of fibred logics without shared connectives". Logic Journal of the IGPL 24 5 (2016): 673-707. https://doi.org/10.1093/jigpal/jzw033.
    Published • 10.1093/jigpal/jzw033
  18. Kurucz, A.; Marcelino, S.; Sérgio Marcelino; Agi Kurucz. "Non-finitely axiomatisable two-dimensional modal logics". Journal of Symbolic Logic 77 3 (2012): 970-986. https://doi.org/10.2178/jsl/1344862170.
    Published • 10.2178/jsl/1344862170
  19. Gabbay, D.; Marcelino, S.. "Global view on reactivity: Switch graphs and their logics". Annals of Mathematics and Artificial Intelligence 66 1 (2012): 131-162. http://dx.doi.org/10.1007/s10472-012-9316-8.
    Published • 10.1007/s10472-012-9316-8
  20. Gabbay, D.M.; Marcelino, S.. "Modal logics of reactive frames". Studia Logica 93 2 (2009): 405-446. https://www.jstor.org/stable/40587174?seq=1.
    Published • 10.1007/s11225-009-9214-1
  21. SÉRGIO MARCELINO; PEDRO RESENDE. "An algebraic generalization of Kripke structures". Mathematical Proceedings of the Cambridge Philosophical Society 145 03 (2008): 549-549. https://doi.org/10.1017%2Fs0305004108001667.
    Published • 10.1017/s0305004108001667
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2025/11/05 Higher-order arrows for Path-Dependent Many-Valued Systems The International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
Universidade de Aveiro (Portugal)
2024/11/05 Logics for path-dependent systems: from reactive to switch frames and beyond The International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
Universidade de Aveiro (Aveiro, Portugal)
2024/07/12 Finite axiomatizability of logics of distributive lattices with negation Encontro Nacional da Sociedade Portuguesa de Matemática
Universidade do Minho (Portugal)
2024/02/03 Deciding intuitionistic propositional logic using a 2-valued non-deterministic logical matrix Days In Logic 2024
Instituto Superior Técnico (Lisboa, Portugal)
2023/06/16 On the modularity of logical calculi Workshop New Perspectives on the Objects and Grounds of Structural Rules
Language, Mind and Cognition Group - (Lisboa, Portugal)
2023/04/23 The Pros and Cons of Generalizing Truth-Functionality MATHESIS Workshop: Beyond Classical Operations
Universidad Complutense de Madrid (Madrid, Spain)
2022/09/06 PNmatrices for paraconsistent and other non-classical logics The Sixth World Congress of Paraconsistency in Torun (WCP6) - The Second Stanislaw Jaskowski Memorial Symposium
(Torun)
2022/06/29 PNmatrices at work WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022
(Aveiro, Portugal)
2022/06/22 Advantages and challenges posed by PNmatrices TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC
(Coimbra, Portugal)
2022/06/02 Decidability of combined logics, and applications DAYS IN LOGIC 2022
(Faro, Portugal)
2022/04/11 An Unexpected Boolean Connective World Logic Prizes Contest@Unilog 2022
(Greece)
2021/03/01 Platypus: An unexpected Boolean connective Mathematical Logic Webinar
Centro de Matemática, Aplicações Fundamentais e Investigação Operacional, Faculdade de Ciências da Universidade de Lisboa (Portugal)
2020/01 On adding axioms Days in Logic 2020
Departamento de Matemática - Faculdade de Ciências - Universidade de Lisboa (Lisboa, Portugal)
2019/12/03 Adding axioms: semantics and analytic calculi Workshop on Logical Consequence: Calculi and Semantics
Department of Philosophy, University of Milan
2019 Analytic calculi for monadic PNmatrices 26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019)
Utrecht University, The Netherlands (Utrecth, Netherlands)
2018/08 Modular analysis of Hilbert calculi 6th World Congress and School on Universal Logic
Pôle Universitaire DE VICHY (Vichy, France)
2018/06 Semantics for combined Hilbert calculi 6th World Congress and School on Universal Logic
Pôle Universitaire DE VICHY (Vichy, France)
2017/10 What the bleep do we know about classical connectives? ISRALOG17 - RESEARCH WORKSHOP OF THE ISRAEL SCIENCE FOUNDATION
University of Haifa (Haifa, Israel)
2017/10 Can we break classical logic in two? Programa de serminários de lógica, topologia e teoria de conjuntos
Universidade Federal de Salvador da Bahia (Salvador, Brazil)
2017/09 Merging fragments of classical logic The 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017)
Department of Computer Science at the University of Brasília (Brasília, Brazil)
2017/07 Disjoint fibring of non-deterministic matrices 24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017)
Department of Computer Science, University College London (Londres, United Kingdom)
2016/09 Characterizing finite-valuedness Trends in Logic XVI (Consistency, Contradiction, Paraconsistency and Reasoning celebrando os 40 anos do Center for Logic, Epistemology and the History of Science da Unicamp)
Universidade de Campinas (Campinas, Brazil)
2016/02 Disjointly fibred logics: characterizing mixed reasoning and applications LoLITA Seminar (Group for Logic, Language, Information, Theory, and Applications)
Universidade Federal do Rio Grande do Norte (Natal, Brazil)
2016/02 On the abstract characterization of broadly truth-functional logics International Joint Conference on Automated Reasoning (IJCAR) - [GeTFun 4.0]
Universidade de Coimbra (Coimbra, Portugal)
2016/01 Fibred logics: characterizing mixed reasoning and applications Days in Logic
Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa (Almada, Portugal)
2015/08 Combined logics: characterizing mixed reasoning and applications NAT@logic2015 (GeTFun 3.0)
Universidade Federal do Rio Grande do Norte (Natal, Brazil)
2015/06 Fibring logics: decidability and conservativity: Part I e Part II World Congress on Universal Logic 2015
Istambul University (Istambul, Turkey)
2015/06 Cancellation, many-valuedness, and combined logics World Congress on Universal Logic 2015
Istambul University (Istambul, Turkey)
2014/08 Conservativity of fibred logics via reflective translations Advances in Modal logic
Groningen University (Groningen, Netherlands)
2014/07 On the characterization of broadly truth-functional logics GeTFun 2.0 @ Vienna Summer of Logic 2014
Vienna University of Technology (Viena, Austria)
2014/04 Conservativity of logical extensions via reflective translations Seminário de Lógica Carioca
Universidade Federal do Rio de Janeiro (Rio de Janeiro, Brazil)
2014/04 Conservativeness and decidability of fibred logics Brazilian Logic Conference (EBL - Encontro Brasileiro de Lógica)
National Laboratory for Scientific Computing (LNCC) @ Petrópolis (Petrópolis, Brazil)
2014/03 Conservativeness and decidability of fibred logics LoLITA Seminar (Group for Logic, Language, Information, Theory, and Applications)
Universidade Federal do Rio Grande do Norte (Natal, Brazil)
2014/02 On two-dimensional products of modal logics LoLITA Seminar (Group for Logic, Language, Information, Theory, and Applications)
Universidade Federal do Rio Grande do Norte (Natal, Brazil)
2014/02 On two-dimensional products of modal logics Tardes de Álgebra centro de Álgebra da Universidade de Lisboa
Departamento de Matemática - Faculdade de Ciências - Universidade de Lisboa (Lisboa, Portugal)
2014/01 Conservativeness and decidability of fibred logics Seminário de Lógica e Computação
Departamento de matemática - Instituto Superior Técnico - Universidade de Lisboa (Lisboa, Portugal)
2013/07 Conservativeness and decidability of fibred logics Logic Colloquium 2013
Universidade de Évora (Évora, Portugal)
2012/11 On two-dimensional products of modal logics Seminário de Lógica e Computação
Departamento de matemática - Instituto Superior Técnico - Universidade de Lisboa (Lisboa, Portugal)
2012/08 Finite frames for K4.3xS5 are decidable Advances in Modal Logic
University of Copenhagen (Copenhagen, Denmark)
2008/09 An algebraic generalization of Kripke structures Advances in Modal Logic
LORIA, le Laboratoire Lorrain de Recherche en Informatique et ses Applications (Nancy, France)
2008/08 An algebraic generalization of Kripke structures BLAST (Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology)
University of Denver, Colorado (Denver, United States)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2024/02 - Current Decision procedures for many-valued logics
Supervisor
 Integrated Project in Applied Mathematics and Computation (Degree)
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
2023/09 - 2024/06 Infinite valued Lukasiewciz logic and the analysis of neural networks
Supervisor
 Investigation Project in Mathematics and Applications (Master) (Master)
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
2020 - 2022/03/22 Hilbert-style formalism for two-dimensional notions of consequence
Supervisor
 Master in Applied Maths (Master)
Universidade Federal do Rio Grande do Norte, Brazil
2020/01/01 - 2022 Logics of lattices with negation
Co-supervisor
 Master in applied maths (Master)
Universidade Federal do Rio Grande do Norte, Brazil
2018 - 2022 Computability of logical problems associated to partial non-deterministic matrices
Supervisor of Pedro Gonçalo Godinho Filipe
 Lisbon Mathematics PhD (LisMath) (PhD)
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
2019 - 2019 Multiple conclusion axiomatizations of monadic matrices
Supervisor
 Unidade Curricular de Projecto em Matemática (LMAC) (Degree)
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
2017 - 2017 Logical Connectives in Propositional Logic
Co-supervisor
 Unidade Curricular de Projecto em Matemática (LMAC) (Degree)
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
2017 - 2017 One-Connective Propositional Logics
Co-supervisor
 Projeto em Matemática (Degree)
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
2016 - 2016 Tautologies in classical propositional logic
Co-supervisor
 Investigation Project in Mathematics and Applications (MMAC) (Master)
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2022/02/22 Hilbert-style formalism for two-dimensional notions of consequence
Supervisor
 Vitor Rodrigues Greati (Master)
Universidade Federal do Rio Grande do Norte, Brazil
2020/02/07 Logic foundations and computational tools for synthetic biology
(Thesis) Arguer
 DANIEL OLIVEIRA FIGUEIREDO (PhD)
Universidade de Aveiro Departamento de Matemática, Portugal
2019/12/18 Model-checking Ethereum smart contracts written in Vyper
(Thesis) Main arguer
 Francisco Moreira da Silva Rogado Domingues (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/07/05 An algebraic study of logics of variable inclusion and analytic containment
(Thesis) Arguer
 Michele Pra Baldi (PhD)
Università degli Studi di Padova, Italy
2015/06/03 Differential dynamic logic and applications
(Thesis) Main arguer
 Daniel Oliveira Figueiredo (Master)
Universidade de Aveiro Departamento de Matemática, Portugal

Ad Hoc journal article review

Journal title (ISSN) Publisher
2019 - Current IEEE Transactions on Fuzzy Systems (1941-0034) Institute of Electrical and Electronics Engineers
2019 - Current IEEE Transactions on Fuzzy Systems (1941-0034) Institute of Electrical and Electronics Engineers
2018 - Current Journal of Applied Non-Classical Logics (1958-5780) Informa UK (Taylor & Francis)
2016 - Current Logica Universalis (1661-8300) Springer-Verlag
2014 - Current The Review of Symbolic Logic (1755-0211) Cambridge University Press
2013 - Current Logic Journal of IGPL (1368-9894) Oxford University Press
2010 - Current Annals of Mathematics and Artificial Intelligence (1573-7470) Springer-Verlag

Conference scientific committee

Conference name Conference host
2022 - Current 17th Workshop on Logical and Semantic Frameworks with Applications - LSFA 2022 (https://lsfa2022.dcc.ufmg.br/).

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2022/04/01 - 2022/04/06 Bridges between semantics and proof-calculi (A three part tutorial for the 7th School of Universal Logic@Unilog 2022)
2020/02/04 - 2020/02/05 Logic, modalities and compositionality (2 day mini course on logic for mathematics students) Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
2007 - 2010 Foundations of Computing I Kings College London (University of London), United Kingdom
2007 - 2009 Computer Science Logic

Journal scientific committee

Journal title (ISSN) Publisher
2022 - Current Studia Logica (1572-8730) Springer-Verlag
Distinctions

Award

2021 Amílcar Sernadas Logic Prize
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal

Instituto de Telecomunicações, Portugal

Other distinction

2022 FCT Individual Call to Scientific Employment Stimulus - 4th Edition for the level of Associate Researcher
Fundação para a Ciência e a Tecnologia, Portugal
2012 Postdoc Grant, Portuguese Foundation for Science and Technology, 2012-2017
Fundação para a Ciência e a Tecnologia, Portugal
2007 PhD Grant, Portuguese Foundation for Science and Technology, 2007-2011.
Fundação para a Ciência e a Tecnologia, Portugal
2002 Novos Talentos em Matemática
Fundação Calouste Gulbenkian, Portugal
2001 Novos Talentos em Matemática
Fundação Calouste Gulbenkian, Portugal