Lecture by Dr. Dalal Alrajeh

16:00-17:20, Tuesday, December 11th, 2012

Room #1904, National Institute of Informatics (Access)

Handling Flaws in Declarative Specifications

Dr. Dalal Alrajeh (Imperial College London, UK)

Understanding the cause of errors and inconsistencies in, or making informed conjectures from, an evolving, heterogeneous and incomplete knowledge base are tasks that typically face data analysts and engineers. These activities are present in numerous disciplines such as crime enquiries and biological network studies as well as various software engineering problems including requirements elaboration, risk analysis and program debugging. With a vast, interrelated knowledge base, these tasks become infeasible without automated and rigorous support. In this talk, I will presenting on-going work that attempts to address these issues through the combined use of automated verification and inductive learning techniques. I will be discussing some of the problems that have been explored including non-probabilistic risk detection in software engineering and crime analysis in major crime investigations.

Dalal Alrajeh is a research associate at the Department of Computing, Imperial College London. She obtained her Ph.D. in Distributed Software Engineering from Imperial College in 2010. Her main research interests are in the area of formal verification and logic programming with particular emphasis model checking, inductive logic programming and answer set programming. Her recent work includes techniques for generating obstacles for requirements completeness, detecting vacuity in scenario-based specifications and lately applications of verification and learning methods to crime analysis. She has published papers on these topics in major software engineering and artificial intelligence journals and conferences and served on a number of program committees.