Research
Finished Projects
- SIEP (FNR-INTER): Specification logics and Inference tools for verification and Enforcement of Policies
- RATARCH (FNR-CORE): Rationalization of Architecture Related Design Decisions
- RAT (FNR-MOBILITY): Reasoning about Agreement Technologies - 6 month sabbatical of Prof. van der Torre at CSLI Stanford
- SGAMES (FNR-CORE): Security Games
- MARCO (FNR-CORE) : Managing Regulatory Compliance: a Business-Centred Approach
- LAAMI (FNR-CORE) : Logical Analysis of Market Irrationality
- DYNARG (FNR-INTER/CNRS) : Dynamics of Argumentation
- LINMAS (UL-POSTDOC) : Logics Integrated for Normative Multi-Agent Systems
- TRUSTGAMES (AFR-POSTDOC) : Trust Games
- CFAEMM (AFR-POSTDOC) : A Computational Framework for Apprehending Evolving Malware and Malware Engineers
- CDL (ERCIM-POSTDOC) : Argument-based Contextual Defeasible Reasoning
- ICR (UL-PHD) : Individual and Collective Reasoning
- AASTM (UL-PHD) : Argumentation Techniques for Trust Management
- LOSEC (AFR-PHD) : Logics for Security
Back to Research page
|