Up to 30% off — ends 7 Aug
ONLY00h00m00s
Up to 30% off — ends 7 Aug
ONLY00h00m00s
João Rasga
Assistant Professor
Universidade de Lisboa Instituto Superior Técnico
Portugal
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.

How do I reach out?
Sign in for free to see their profile details and contact information.
Contact this professor
Research Interests
Mathematical Logic
Epistemology
Logic Programming
Neutrosophic Logic
Reasoning
Model Checking
Formal Methods
Ask ApplyKite AI
Recent Grants
Grant: Close
QSec: Quantum Security
Open Date: 2007-11-01
Close Date: 2011-02-01
Grant: Close
QuantLog: Logic for Quantum Computation and Information
Open Date: 2005-01-01
Close Date: 2007-12-01
Grant: Close
FIBLOG: Fibring Logics
Open Date: 2003-07-01
Close Date: 2004-12-01
Articles10
Year:
2021
Collaborators1
Luca Viganò
King’s College London

How do I reach out?
Sign in for free to see their profile details and contact information.