Creating and sharing knowledge for telecommunications
... João Filipe Quintas dos Santos Rasga

Researcher

João Rasga

Academic position: Associate Professor
Joining date: 31-12-2006
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, Instituto Superior Técnico, 28-07-2003
  • Instituto Superior Técnico, 01-01-2003,
  • J. Rasga, A. Sernadas, C. Sernadas, A roadmap to decidability., Chapter in, The Road to Universal Logic, A. Koslow and A. Buchsbaum, Birkhäuser, Basel, 2015
  • A. Sernadas, C. Sernadas, J. Rasga, P. Mateus, Non-deterministic combination of connectives, Chapter in, Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday, Jean-Yves Béziau and Marcelo Coniglio, College Publications, 2011
  • C. Caleiro, W. Carnielli, J. Rasga, C. Sernadas, Fibring of logics as a universal construction, Chapter in, Handbook of Philosophical Logic, 2nd Edition, volume 13, pages 123-187, D. Gabbay and F. Guenthner, Springer, 2005
  • J. Rasga, Cut elimination in propositional based logics, Chapter in, Proceedings of Structures and Deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP'05), pages 205-214, P. Bruscoli, F. Lamarche and C. Stewart, Technische Universität Dresden, 2005
  • J. Rasga, A. Sernadas, C. Sernadas, L. Viganò, Labelled deduction over algebras of truth values, Chapter in, Frontiers of Combining Systems 4, volume 2309 of Lecture Notes in Artificial Intelligence, pages 222-238, A. Armando, Springer, 2002
  • F. Casal, J. Rasga, Revisiting the Equivalence of Shininess and Politeness, International Conf. on Logic for Programming, Artificial Intelligence and Reasoning - LPAR, Stellenbosch, South Africa, Vol. 8312, pp. 1 - 15, December, 2013 | BibTex
  • P. Mateus, F. Moura, J. Rasga, Transferring proofs of zero-knowledge systems with quantum, Workshop on Quantum Security - QSEC, Guadeloupe, France, Vol. -, pp. 0009 - 0014, January, 2007 | BibTex
  • J. Rasga, Cut elimination in propositional based logics, Structures and Deduction - the Quest for the Essence of Proofs, Lisboa, Portugal, Vol. -, pp. 205 - 214, December, 2005 | BibTex

Closed Projects3

Acronym Name Funding Agency Start date Ending date
DP-PMI Doctoral Programme in the Physics and Mathematics of Information: Foundations of Future Information Technologies (DP-PMI) FCT 01-01-2014 01-12-2021
QSec Quantum Security FCT/PTDC 01-11-2007 01-10-2009
QuanLog Logic in Quantum Computation and Information FCT/POCI 01-01-2005 01-12-2007
  • F. Casal, J. Rasga, SMT and Theory Combination Techniques, Portugal, Days in Logic '14, Braga, 01-2014
  • J. Rasga, On combined connectives, Portugal, Evora, 02-2012
  • J. Rasga, L. Cruz-Filipe, A. Sernadas, C. Sernadas, Discrete-Measure Almost-Everywhere Quantification, Portugal, Coimbra, 06-2008
  • J. Rasga, Generalized negative translations and interpolation., Portugal, Lisboa, Days in Logic 2008, 01-2008
  • J. Rasga, Preservation of interpolation and generalized negative translations., Portugal, Braga, U Minho, Seminário de Álgebra e Lógica, 01-2008
  • J. Rasga, Transferring proofs of zero-knowledge systems with quantum tamper-proof devices., Portugal, Lisboa, LQCIL'07, 07-2007
  • J. Rasga, A complete axiomatization of discrete-measure almost-everywhere quantification., Portugal, Lisboa, IST/FCUL, Seminário de Lógica Matemática, 11-2006
  • J. Rasga, Some complexity results on cut elimination in first order based logics., Portugal, Coimbra, Days in Logic '06, 01-2006
  • J. Rasga, Complexity analysis of cut elimination in first order based logics., Portugal, Lisboa, PCC'05, 07-2005
  • J. Rasga, Cut elimination in propositional based logics., Portugal, Lisboa, SD'05, 07-2005
  • J. Rasga, The complexity of cut elimination in a modal sequent calculus labelled with truth values., Brazil, São Paulo, USP, IME, Seminário de Ciência da Compu, 02-2005
  • J. Rasga, The complexity of cut elimination in a modal sequent calculus labelled with truth values., Brazil, Campinas, UECampinas, CLE, Colloquia Logicae, 02-2005
  • J. Rasga, Cut elimination in a general modal calculus., Portugal, Coimbra, Portuguese Category Seminar 04, 06-2004
  • J. Rasga, Labelled first order based logic systems., Germany, Freiburg, Institut für Informatik, Software Engin, 07-2002
  • J. Rasga, Fibrilação de Sistemas Dedutivos Etiquetados., Portugal, Lisboa, Encontro LOGCOMP, 09-2000
  • J. Rasga, Fibring of labelled deductive systems, Portugal, Lisboa, Encontro LOGCOMP, 12-1999
  • J. Rasga, Model theoretic fibring of logics with terms and binding operators, Austria, Linz, ASPIRE Meeting, 09-1999
  • World Congress and School on Universal Logic - UNILOG, Organizing Committee, 2010
  • Days in Logic 08, Conference Chairman, 2008