Creating and sharing knowledge for telecommunications
... Sérgio Roseiro Teles Marcelino


Sérgio Marcelino

Academic position: Researcher
Joining date: 01-01-2012
Roles in IT: Researcher
Thematic Line: Basic Sciences and Enabling Technologies
Group: Security and Quantum Information - Lx

Email: Send Email
Address: IT – Lisboa
Instituto Superior Técnico - Torre Norte - Piso 10
Av. Rovisco Pais, 1
1049 - 001 Lisboa
Tel: +351 21 841 84 54
Fax: +351 21 841 84 72

Scientific Achievements

  • PhD, King's College London - University of London, 01-01-2012
  • MSc, Instituto Superior Técnico, 01-01-2007
  • C. Caleiro, S. Marcelino, On axioms and rexpansions, Chapter in, Arnon Avron on Semantics and Proof Theory of Non-Classical Logics, Ofer Arieli and Anna Zamansky, Springer, Switzerland, 2021
  • V. Greati, S. Marcelino, J. Marcos, Proof Search on Bilateralist Judgments over Non-deterministic Semantics, Chapter in, Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021, LNCS, vol 12842, Das A., Negri S., Springer, Cham, Cham, 2021
  • S. Marcelino, C. Caleiro, Analytic Calculi for Monadic PNmatrices, Chapter in, Logic, Language, Information, and Computation, WoLLIC 2019, LNCS, vol 11541, Springer Berlin Heidelberg, Berlin, 2019
  • S. Marcelino, C. Caleiro, U. Rivieccio, Plug and Play Negations, Chapter in, Contradictions, from Consistency to Inconsistency, W. Carnielli and J. Malinowski, Springer International Publishing AG Springer Nature, Cham, 2018
  • C. Caleiro, S. Marcelino, J. Marcos, Merging fragments of classical logic, Chapter in, Frontiers of Combining Systems (FroCoS 2017), Springer, Heidelberg, 2017
  • S. Marcelino, C. Caleiro, Disjoint Fibring of Non-deterministic Matrices, Chapter in, Logic, Language, Information, and Computation, WoLLIC 2017, LNCS, vol 10388, Kennedy J., de Queiroz R., Springer Berlin Heidelberg, Berlin, 2017
  • C. Caleiro, S. Marcelino, P. Baltazar, Deciding theoremhood in fibred logics without shared connectives, Chapter in, JY Beziau's Festschrift, A. Buchsbaum, A. Koslow, Springer, 2014
  • A. Kurucz, S. Marcelino, Finite frames for K4.3 × S5 are decidable, Chapter in, Advances in Modal Logic, Volume 9, College Publications, London, 2012
Early Access

Closed Projects2

Acronym Name Funding Agency Start date Ending date
KLog KLog - Logics for Security FCT/PTDC 01-08-2007 01-08-2010
MoLC Modular Analysis of Logical Calculli FCT 01-11-2017 01-11-2020
  • S. Marcelino, Amílcar Sernadas Logic Prize, Amílcar Sernadas (1952-2017) was Full Professor at the Mathematics Department Amílcar Sernadasof Instituto Superior Técnico and an internationally leading researcher in logic and the foundations of computing. This prize aims at encouraging logic research and distinguishes an unpublished paper in this area. It is included in the initiative One logic prize in every country that emerged from the series of conferences UNILOG (World Congress and School in Universal Logic). It celebrates Amílcar Sernadas highly significant and original scientific contributions, as well as his outstanding academic career., 01-01-2021
  • International Workshop on Logical and Semantic Frameworks, with Applications LSFA, Scientific Committee, 2022
  • Associate Editor, Studia Logica, 01-01-2021 - 31-12-2024
  • Annals of Mathematics and Artificial Intelligence
    2010, 1 review(s);