Staff

Lin Padgham BDI agents and extended BDI reasoning; agent oriented software engineering; agent oriented applications; agent learning; emotional modelling in agents; agent architectures; agent based simulations and games; environmental applications using agents; formalisation of commonsense reasoning.

James Harland computability logic & mathematical logic for computer science; BDI reasoning systems; modal & temporal linear logic; logic-programming

Lawrence Cavedon dialogue systems for human-machine interaction; conversational agents; agent architectures; collaboration in multi-agent teams; logics for reasoning about BDI agents; AI and Cognitive Science

Sebastian Sardina agent programming (logic-based agents and BDI systems); reasoning about action and change (situation calculus); automated planning; verification & synthesis; logic programming

John Thangarajah agent programming; agent software engineering; agent goal reasoning

Sarah Hickmott automated planning; reasoning about concurrent systems

Steven Shapiro reasoning about action; specification and verification of multiagent systems; belief change; formal methods for software engineering; agent theories and languages; reasoning about action; nonmonotonic reasoning; foundations of knowledge representation and reasoning.

Andy Song mostly associated with the ECML group but also interested in learning agents

Jimmy Sun programmer (currently working on PDT)

Dave Scerri programmer (currently working on simulation platform for exploring climate change adaptation)

For other AI staff belonging to the Evolutionary Computation group, please visit the ECML group web page.

Students

Past PhD Students

Other Past Students

  • Lavindra de Silva (PhD)
    Planning in BDI Agent Systems
    Lin Padgham and Sebastian Sardina
     
  • Simon Duff (Masters)
    Enhancing Goal Selection for Intelligent Agents
    James Harland and John Thangarajah
     
  • Jennifer Sandercock (Masters)
    Using Emotions and Learning to Improve Adaptation and Individuality of Non-Player Characters
    Lin Padgham and Fabio Zambetta
     
  • Dhirendra Singh (PhD)
    Agent Learning for Energy Management
    Lin Padgham
  • Zhiyong Zhang (PhD)
    Automated Test with AOSE Methodology
    Lin Padgham and John Thangarajah
  • Daniel Macias Galindo (PhD)
    Modular Knowledge for Interactive Agents
    Lin Padgham and Lawrence Cavedon
  • Nitin Kumar Yadav (Minor)
    Behavior Composition
    Sebastian Sardina
  •  
    • Khanh Hoa Dam
      Supporting Software Evolution in Agent Systems
      Michael Winikoff and Lin Padgham
    • David Poutakidis
      Debugging Multi-Agent BDI Systems
      Supervisor: Lin Padgham and Michael Winikoff
    • Chris Cheong 
      A New Approach To Agent Interactions: Towards Flexibility And Robustness
      Michael Winikoff and Lin Padgham
       
    • Vu Binh Tran 
      Expectation Logic 
      James Harland and Margaret Hamilton
    • John Thangarajah 
      Managing Multiple Concurrent Goals in Intelligent Agents
      Lin Padgham and Michael Winikoff
    • James Brusey
      PhD in 2002
       
    • Lito Cruz 
      PhD student
      Lin Padgham
    • Rosette Kidwani
      Lin Padgham and Michael Winikoff
    • Gaya Jayatilleke 
      A Framework for Component Based Agent Design 
      Lin Padgham and Michael Winikoff
    • Toan Phuoc Phung
      Michael Winikoff and Lin Padgham
    • Quang Duc Pham
      A logic-based approach to flexible agent interaction protocols
      James Harland and Michael Winikoff
     

    Former Members

    Visiting Researchers & Collaborators

     

    • A logic-based approach to flexible agent interaction protocols
      James Harland and Michael Winikoff
    •  David Morely
    •  Neil Yorke-Smith
    •  Yves Lesperance
    •  Giuseppe De Giacomo
    •  Stephane Airiau (2007)
    •  Sandip Sen (2007)
    •  Stephen Cranefield (2007)
    •  Hu Qinyou (2006)
    •  Steven Fonseca (2003)