Department of Informatics

Probabilistic algorithms; algorithm performance; graphs and networks; random walks; randomized algorithms; combinatorics.

Algorithm design; string algorithms.

Combinatorial optimisation; local search; stochastic algorithms; learning theory; structural proteonics.

020 7848 1590

020 7848 2851

String algorithms; text compression; pattern matching; algorithms for bioinformatics.

020 7848 2008

Computational genome analysis; genome data mining, network analysis and reconstruction; metabolic networks; protein interaction networks; evolution of genome properties and dynamics.

020 7848 1056

Algorithm design, network optimisation, algorithms for efficient wireless communication, data structures, design of distributed protocols for exploration of networks, implementation and experimental evaluation of algorithms.

020 7848 2588

020 7848 2851

Probabilistic algorithms; algorithm performance; graphs and networks; random walks; randomized algorithms; combinatorics.

Algorithm design; string algorithms.

Combinatorial optimisation; local search; stochastic algorithms; learning theory; structural proteonics.

020 7848 1590

020 7848 2851

String algorithms; text compression; pattern matching; algorithms for bioinformatics.

020 7848 2008

Computational genome analysis; genome data mining, network analysis and reconstruction; metabolic networks; protein interaction networks; evolution of genome properties and dynamics.

020 7848 1056

Algorithm design, network optimisation, algorithms for efficient wireless communication, data structures, design of distributed protocols for exploration of networks, implementation and experimental evaluation of algorithms.

020 7848 2588

020 7848 2851

Temporal and Numeric Planning, Planning with Rich Domain Models, Applications of Planning.

020 7848 1511

Temporal and Metric Planning, Modelling for Planning, Plan Validation and Verification and Applications of Planning.

020 7848 2419

Intelligent agents and multi-agent systems. Argumentation theoretic models of agent reasoning, communication and dialogue. Strategic considerations for argumentation-based dialogues. Applications of artificial intelligence in healthcare informatics. Agent based modelling.

020 7848 2694

Artificial intelligence and law; approximate reasoning; qualitative reasoning; knowledge representation; compositional modelling.

Intelligent analysis of large complex networked systems, Dynamics of complex networked systems, Network motifs method in social networks, Multi-relational social networks, Modelling of Complex Adaptive Software Systems.

020 7848 2596

Mixed Discrete-Continuous Planning, Plan-based Policy Learning, Autonomous Intelligent Control of Robotic Systems.

020 7848 1579

My work has sought to take a principled approach to the development of practical agent systems, and spans: the development of an extensive formal framework for understanding and modelling intelligent agents and multi-agent systems; the formalisation of existing practical agent systems and theories; the development of information-based agent applications in domains such as genome analysis; norms and institutions; trust and reputation; agent infrastructure; declarative programming of agent systems; agent-oriented software engineering; application to Grid computing; and industrial deployment and technology forecasting.

020 7848 2562

020 7848 2851

Argumentation, Autonomous Agents, Agent Communications, Cyber-Security, Decision Theory, Market Design, Modeling & Simulation, Multi-Agent Systems, Strategy and Policy, Trading Agents and Agent-Based economics

* Argumentation Theory

* Non-monotonic Logic

* Normative Reasoning

* Agent Reasoning and Multi-agent dialogue

* Applications of Artificial Intelligence in Medicine

020 7848 1631

I apply internet and artificial intelligence technologies to aiding the process of research, particularly in science. Specifically, I focus on systems for determining the provenance of scientific results (how they were produced) in distributed systems, and applying agent-oriented software techniques to automated sharing of knowledge. I also collaborate with businesses to automate handling of their contracts with others, including tools which can reason about and check the fulfliment of sets of contracts.

020 7848 1166

020 7848 2851

Mathematical logic; logical systems in computer science and artificial intelligence.

Theorem provers, Programming languages, Compilers, Type systems and Functional programming.

020 7848 2584

(Head of Group) Logic and computation.

Model-driven development; model transformations; UML

Programming language design and implementation and Domain specific languages.

020 7848 7034

Operational semantics; term rewriting.

Artificial intelligence; theory change; non-monotonic reasoning; belief revision; formalisation of common-sense reasoning; social choice theory.

020 7848 2087

020 7848 2851

Information assurance and information warfare; cybercrime forensics and statistics; anomaly detection and intrusion detection.

020 7848 2833

020 7848 2913

Model-driven development; modularisation; component-based software development; aspect orientation; quality of service

steffen.zschaler@kcl.ac.uk

1. Stability analysis and performance design of fuzzy-model and neural-network-based control systems. 2. Performance optimization and topology design of neural networks. 3. Genetic algorithm and its applications on intelligent systems. 4. Synchronization of chaotic systems using fuzzy control approach.

+44 (0)20 7848 1240

020 7848 2932

robotics, assembly and automation; advanced and high speed machinery; kinematics and mechanisms; reconfigurable mechanisms, origami folding, motion control; multifingered hand, manipulation, rehabilitation, CADCAM, feature-based cost analysis,

020 7848 2321

020 7848 2932

Mechatronics; robotics; embedded intelligence; medical robotics; remote sensing; pipe inspection; neuro-fuzzy robot navigation; visual odometry.

+44 (0)20 7848 2431

Research is focussed on the modelling, identification and control of robotic systems interacting with complex dynamic environments. Current research projects on intelligent mechatronic systems include autonomous unmanned ground vehicles, robotic excavation systems, robotic surgical systems, automated pipe inspection systems, and automated assembly systems.

+44 (0)20 7848 2236

Neural computation; visual perception; machine intelligence; developmental robotics; computational and cognitive neuroscience

+44 (0)20 7848 2027

Research interests: deformable robotics, stochasticity of manipulation and locomotion, biological motor control and motor learning, and machine learning.

+44 020 7848 2256

2256