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
bio-informatics.
Here is a set of slides describing some of its activities.
Douglas
Armstrong - Bioinformatics, Neuroinformatics, Behaviour
Genetics and Astrobiology and Gravitational Biology
Vincent
Danos - Formal and foundational approaches to complex systems;
syntaxes for representing, modelling, and understanding biological networks;
rule-based modeling.
Stephen
Gilmore - Formal methods of program development, formal
specifications, software engineering, concurrent systems.
Igor
Goryanin Systems Biology, Formal languages.
Michael
Herrmann Neural computations.
Jane
Hillston - Stochastic process algebras, Markov processes and
performance modelling.
Gordon
Plotkin - Applications of logic, semantics, and type-theory to
process calculi and computational biology.
Subramanian Ramamoorthy Supervised Learning, Robotics.
Guido Sanguinetti
Machine learning, transcriptional regulation.
Ian Stark
Formal languages for modeling biological networks.
Sethu
Vijayakumar - Statistical Machine Learning, Robotics, Motor
Control, Multimodal Sensory-Motor Integration and Computational
Neuroscience.
Barbara
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
inference.