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

Researcher

Sérgio Marcelino

Academic position: Researcher
Joining date: 01-01-2012
Roles in IT: Researcher
Scientific Area: 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
  • 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

Currently running projects1

Acronym Name Funding Agency Start date Ending date
MoLC Modular Analysis of Logical Calculli FCT 01-11-2017 01-11-2020

Closed Projects1

Acronym Name Funding Agency Start date Ending date
KLog KLog - Logics for Security FCT/PTDC 01-08-2007 01-08-2010
  • Annals of Mathematics and Artificial Intelligence
    2010, 1 review(s);