Staff Research Interests
Head of Department
Leslie S Smith
BSc(Glasgow), PhD(Glasgow)
Neuroinformatics; Auditory Modelling; Neural Networks and Neuromorphic Systems
Professors
Evan H Magill
BSc(UMIST), MSc(UMIST), PhD(Strathclyde)
Telecommunications Service Engineering; Multimedia and Open Services;
Feature Interaction Detection
Kenneth J Turner
BSc(Glasgow), PhD(Edinburgh)
Communications Systems and Services; Home Care Technologies; Policy-Based
Management; Medical Devices; Applied Formal Methods
Readers
Bruce P Graham
BA(Flinders), PhD(Queensland)
Computational Principles of the Nervous System; Computational Neuroscience;
Artificial Neural Networks; Associative Memory; Adaptive and Fuzzy Systems
Amir Hussain
BEng(Strathclyde), PhD(Strathclyde)
Non-linear Speech and Signal Processing; Neural Networks; Neuromorphic
Engineering; Digital Communications
Rachel A Norman
BSc(Liverpool),PhD(Liverpool)
Mathematical Biology - Epidemiology of Infectious Diseases
Senior Lecturers
Adam Kleczkowski
MSc (Jagiellonian Univ., Poland), PhD (Jagiellonian Univ., Poland)
Epidemiology, Ecology and Economics; Modelling of disease spread and
control on networks; Optimal control; Designing markets for ecosystem
services
Carron E Shankland
BSc(Glasgow), PhD(Glasgow)
Formal Methods (particularly process algebra) and their use in the
description and analysis of computer and biological systems;
semantics of process algebras (particularly LOTOS); modal/temporal
logics
Lecturers
Andrea Bracciali
MSc (Pisa), PhD (Pisa)
Concurrency, Formal Methods and Applications to Systems Biology and
Crowd Dynamics
David E Cairns
BSc(Stirling), PhD(Stirling)
Neural Networks, Genetic Algorithms, Computer Interfaces for the Disabled
Jozsef Farkas
MSc (Budapest), PhD (Budapest)
Applied Analysis; Biomathematics
Marwan Fayed
Andrew Hoyle
Mario Kolberg
MSc(Dipl.-Inf.FH.HTWS Zittau/Görlitz), PhD
Feature Interaction, Multimedia Services
Simon B Jones
BA(York), MSc(Newcastle-upon-Tyne), PhD(Newcastle-upon-Tyne), Ceng, MBCS
Programming Languages and Design; Semantics, Implementation and Application
of Functional Languages; Formal Aspects of Software Engineering
Savitri Maharaj
BSc(West Indies), MSc(Edinburgh), PhD(Edinburgh)
Formal Methods for System Verification; Theorem-Proving and Type Theory
Research Fellows
Kevin Swingler
BSc (Exeter), MSc (Stirling)
Machine Learning; Data Mining; Artificial Intelligence
Research Assistants
Chris McCaig
Michael Newton
Karla Parussel
Guy Warner
Teaching Fellows
Catherine A Howie
BSc(Glasgow), Consultant Statistician
Formal Medical Statistics; Population Pharmacokinetics
Penelope S Jackson
BSc(Stirling), PhD(Stirling)
Algebraic Graph Theory
Teaching Assistants
Donald A Smith BSc(Edinburgh), DipEd(Edinburgh), MSc(Stirling)
Emeritus Professors
Jonathan V Greenman
BA(Cambridge), PhD(Cambridge)
Biomathematics, Epidemiological Systems; Operational Research,
Energy-Economic-Environmental Systems
Peter Rowlinson
MA(Oxford), DPhil(Oxford)
Algebraic Combinatorics and Graph Theory
Honorary Professor
Roger G Bowers
Tariq S Durrani
David Marples
BEng(Bradford), MEng(Bradford), PhD(Strathclyde)
Honorary Senior Lecturer
Robert G Clark
(Senior Lecturer) BSc(St Andrews), PhD(Dundee), CEng, MBCS
Object-Oriented Development using Formal Methods
