Informatics Life-Sciences Institute
The ILSI was formed for work at the informatics/life sciences
interface and will draw together and build on existing work including
well-established activities in neuroinformatics,
sensori-motor control and bio-mimetic robotics, together
with computational systems biology, synthetic biology and
Here is a set of slides describing some of its activities.
Armstrong - Bioinformatics, Neuroinformatics, Behaviour
Genetics and Astrobiology and Gravitational Biology
Danos - Formal and foundational approaches to complex systems;
syntaxes for representing, modelling, and understanding biological networks;
Gilmore - Formal methods of program development, formal
specifications, software engineering, concurrent systems.
Goryanin Systems Biology, Formal languages.
Herrmann Neural computations.
Hillston - Stochastic process algebras, Markov processes and
Plotkin - Applications of logic, semantics, and type-theory to
process calculi and computational biology.
Subramanian Ramamoorthy Supervised Learning, Robotics.
Machine learning, transcriptional regulation.
Formal languages for modeling biological networks.
Vijayakumar - Statistical Machine Learning, Robotics, Motor
Control, Multimodal Sensory-Motor Integration and Computational
Webb - Perceptual systems for the control of behaviour, Robot
models of animals. Simulation of neural circuits. Bonnie
Webber - Question answering, bioinformatics, discourse,
Natural Language semantics, knowledge representation and