My main research interests are in the investigation and application of
Logic-based and Artificial Intelligence techniques to Software Engineering, in particular to
Requirements Engineering. I'm particularly interested in the exploration and investigation of
cross-fertilisations between logic/formal reasoning and requirements engineering.
My research activity therefore unfolds along the following main
two research themes:
- Logic and Artificial Intelligence
- New approaches to non-classical logic based on Labelled Deductive Systems.
- Belief revision theories for non-classical logics, suitable to applications.
- Abductive and inductive reasoning in classical logic - their relationships and interactions.
- Relationship between inductive learning-based revision and standard belief revision.
- Requirements Engineering
- Abductive frameworks for the analysing of event-driven (requirements) specifications.
- Effectiveness of abductive reasoning with respect to model checking and theorem proving in real-setting applications.
- Logic-based techniques for the evolution of requirements specifications: an analysis and revision cycle based on abduction and inductive learning.
- Formal languages for the representation of trust-based specifications.
- Formal languages and reasoning techniques for representing and analysing mobile agents specifications.