Faculty of Engineering: Department of Computing
Differences between revisions 67 and 68
Deletions are marked like this. Additions are marked like this.
Line 137: Line 137:
1st Year PhD event: 1minute madness ([[slides|{{attachment:PhDPresentations.key.pdf||width=120]}}]]) 1st Year PhD event: 1minute madness [[http://www.doc.ic.ac.uk/~ar3/PhDPresentations.html|PhDPresentations:1min Madness]]

ar3

Dr Alessandra Russo
Reader in Applied Computational Logic
Chair of Joint Mathematics and Computing Examiners Board

Distributed Software Engineering Section
Department of Computing
Imperial College London
Huxley Building Room 560
180 Queen's Gate, London SW7 2BZ, UK
Phone: +44 207 594 8312
Fax: +44 207 581 8024
Email: a.russo@imperial.ac.uk

Directions to the Department
Streetmap link
Meeting Direction

Research

Research Interests

My main research interests revolve around the areas of Logic, Artificial Intelligence and Software Engineering. In particular, my main focus is in the cross-fertilization between Logic/Formal Reasoning/AI and Software Engineering and in the exploration and investigations of novel AI techniques suitable for Software Engineering application needs.

My research activity therefore unfolds along the following research topics:

  • Logic:

    • Non-classical logics (i.e. modal, temporal, substractural and fuzzy).
    • Belief revision.
    • Object-Oriented Formal Specification Languages.

  • Artificial Intelligence:

    • Abductive reasoning.
    • Inductive Learning.
    • Theory revision through inductive learning.

  • Software Engineering:

    • Formal techniques for analysing of event-driven specifications.
    • Learning techniques for elaboration, evolution of requirements specification.
    • Formal techniques for analysis and refinement of policy specifications.
    • Argumentation-based framework for inconsistency handling in policy specifications.

^Top

Research Publications

^Top

Grants

Currently active research projects can be found here. For past research projects click here.

^Top

Professional Activities

Editorial and Other Activities

Chair activities

Programme Committees Membership

Invited Talks

  • Invited Speaker at the Seminar Series at the Department of Computer Science, University of Leicester, October 2008, Leicester UK.

  • Invited Talk at the national Institute of Informatics, September 2008, Tokyo, Japan.

  • Invited Talk at the Seminar Series at the School of Computer Science and Information Systems, Birkbeck University, May 2008, London, UK.

  • Invited Talk at the Artificial Intelligence Seminar Series at the Department of Computing, Universita degli Studi di Bari, April 2008 Italy.

  • Invited Talk at the Software Engineering Research Laboratory, Department of Computing, Universita degli Studi di Bari, April 2008 Italy.

  • Invited Talk at Department of Computing, Open University, June 200, UK.

  • Invited Talk at Department of Computing, King’s College. September 2001.

  • Invited Talk at IFIP WG2.9 Requirements Engineering, Key West, Florida, February 2001.

  • Invited Talk at IFIP WG2.9 Requirements Engineering, Flims, Switzerland, February 2000.

  • Invited Talk at NASA IV&V Centre, Morgantown, West Virginia, USA, May 1997.

  • Invited Talk at Department of Computing and Mathematics, Manchester Metropolitan University, Manchester, U.K, November 1996.

^Top

Teaching

^Top

Administration

1st Year PhD event: 1minute madness PhDPresentations:1min Madness

^Top

CategoryHomepage, CategoryPeople

ar3 (last edited 2013-01-30 00:46:50 by ar3)