???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.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Sérgio Roseiro Teles Marcelino

Nomes de citação

  • Marcelino, Sérgio

Identificadores de autor

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

Websites

Domínios de atuação

  • Ciências Exatas - Matemática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Italiano Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador proficiente (C1)
Formação
Grau Classificação
2011
Concluído
 Phd (Doutoramento)
Kings College London (University of London), Reino Unido
"Modal Logic for Changing Systems" (TESE/DISSERTAÇÃO)
 n/a
2006
Concluído
 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" (TESE/DISSERTAÇÃO)
 18/20
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2022/07/01 - Atual Investigador Auxiliar (carreira) (Investigação) Instituto de Telecomunicações, Portugal
Instituto de Telecomunicações, Portugal
2017/11/01 - 2022/06/30 Investigador Contratado (Investigação) Instituto de Telecomunicações, Portugal
Instituto de Telecomunicações, Portugal
2012 - 2017 Pós-doutorado (Investigação) Fundação para a Ciência e a Tecnologia, Portugal
Instituto de Telecomunicações, Portugal
Projetos

Projeto

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

Outro

Designação Financiadores
2019/01/01 - Atual Proof search for Substructural and modal logics (PROSA)
CNPq 429403/2018-6
Investigador
Universidade Federal do Rio Grande do Norte, Brasil
Em curso
Produções

Publicações

Artigo em conferência
  1. Pedro Filipe; Caleiro, Carlos; Marcelino, Sérgio. Autor correspondente: Pedro Filipe. "Monadicity of non-deterministic logical matrices is undecidable". Trabalho apresentado em 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". Trabalho apresentado em IEEE International Symposium on Multiple-Valued Logic, 2020.
    10.1109/ismvl49045.2020.000-1
Artigo em revista
  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.
    Publicado • 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.
    Publicado • 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.
    Aceite para publicação
  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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 10.1017/s0305004108001667
Capítulo de livro
  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.
    Publicado • 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.
    Publicado • 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, editado por C. Dixon; M. Finger, 298-315. Springer International Publishing, 2017.
    Publicado • 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.
    Publicado • 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.
    Publicado
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
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, Espanha)
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
(Grécia)
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, Países Baixos)
2018/08 Modular analysis of Hilbert calculi 6th World Congress and School on Universal Logic
Pôle Universitaire DE VICHY (Vichy, França)
2018/06 Semantics for combined Hilbert calculi 6th World Congress and School on Universal Logic
Pôle Universitaire DE VICHY (Vichy, França)
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, Brasil)
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, Brasil)
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, Reino Unido)
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, Brasil)
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, Brasil)
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, Brasil)
2015/06 Fibring logics: decidability and conservativity: Part I e Part II World Congress on Universal Logic 2015
Istambul University (Istambul, Turquia)
2015/06 Cancellation, many-valuedness, and combined logics World Congress on Universal Logic 2015
Istambul University (Istambul, Turquia)
2014/08 Conservativity of fibred logics via reflective translations Advances in Modal logic
Groningen University (Groningen, Países Baixos)
2014/07 On the characterization of broadly truth-functional logics GeTFun 2.0 @ Vienna Summer of Logic 2014
Vienna University of Technology (Viena, Áustria)
2014/04 Conservativity of logical extensions via reflective translations Seminário de Lógica Carioca
Universidade Federal do Rio de Janeiro (Rio de Janeiro, Brasil)
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, Brasil)
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, Brasil)
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, Brasil)
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, Dinamarca)
2008/09 An algebraic generalization of Kripke structures Advances in Modal Logic
LORIA, le Laboratoire Lorrain de Recherche en Informatique et ses Applications (Nancy, França)
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, Estados Unidos)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2024/02 - Atual Decision procedures for many-valued logics
Orientador
 Integrated Project in Applied Mathematics and Computation (Licenciatura/Bacharelato)
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
Orientador
 Investigation Project in Mathematics and Applications (Master) (Mestrado)
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
Orientador
 Master in Applied Maths (Mestrado)
Universidade Federal do Rio Grande do Norte, Brasil
2020/01/01 - 2022 Logics of lattices with negation
Coorientador
 Master in applied maths (Mestrado)
Universidade Federal do Rio Grande do Norte, Brasil
2018 - 2022 Computability of logical problems associated to partial non-deterministic matrices
Orientador de Pedro Gonçalo Godinho Filipe
 Lisbon Mathematics PhD (LisMath) (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
2019 - 2019 Multiple conclusion axiomatizations of monadic matrices
Orientador
 Unidade Curricular de Projecto em Matemática (LMAC) (Licenciatura/Bacharelato)
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
2017 - 2017 Logical Connectives in Propositional Logic
Coorientador
 Unidade Curricular de Projecto em Matemática (LMAC) (Licenciatura/Bacharelato)
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
2017 - 2017 One-Connective Propositional Logics
Coorientador
 Projeto em Matemática (Licenciatura/Bacharelato)
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
2016 - 2016 Tautologies in classical propositional logic
Coorientador
 Investigation Project in Mathematics and Applications (MMAC) (Mestrado)
Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2022/02/22 Hilbert-style formalism for two-dimensional notions of consequence
Orientador
 Vitor Rodrigues Greati (Mestrado)
Universidade Federal do Rio Grande do Norte, Brasil
2020/02/07 Logic foundations and computational tools for synthetic biology
Arguente
 DANIEL OLIVEIRA FIGUEIREDO (Doutoramento)
Universidade de Aveiro Departamento de Matemática, Portugal
2019/12/18 Model-checking Ethereum smart contracts written in Vyper
Arguente principal
 Francisco Moreira da Silva Rogado Domingues (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/07/05 An algebraic study of logics of variable inclusion and analytic containment
Arguente
 Michele Pra Baldi (Doutoramento)
Università degli Studi di Padova, Itália
2015/06/03 Differential dynamic logic and applications
Arguente principal
 Daniel Oliveira Figueiredo (Mestrado)
Universidade de Aveiro Departamento de Matemática, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2022 - Atual 17th Workshop on Logical and Semantic Frameworks with Applications - LSFA 2022 (https://lsfa2022.dcc.ufmg.br/).

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2022 - Atual Studia Logica (1572-8730) Springer-Verlag

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
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), Reino Unido
2007 - 2009 Computer Science Logic

Revisão ad hoc de artigos em revista

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

Prémio

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

Instituto de Telecomunicações, Portugal

Outra distinção

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