Research Staff in the Computing Laboratory
All members of the Computer Science department engaged in research are listed here together with the research group(s) they are members of, under the following categories: Academic Staff Research Staff Postgraduate Students
| |
|
| Academic Staff | Primary Research Interests |
| |
|
| Technological provision of support for Computer Science learning and teaching. Testing of numerical and scientific software, and the development of software testing tools for Fortran 90. | |
| Cryptography and formal methods: how does what we know about formal methods apply here, and what are the new abstractions, algebras, calculi? | |
|
Computational Modelling of Cognition, Connectionism, Human Attention, Emotions and Reasoning. |
|
My background is in educational theory and my current research interests are focused upon the student perspective; how students manage the transition from the relatively sheltered school environment to the university one, gender issues, the informal symmetrical working relationships formed by students. |
|
Public Key Infrastructures and Privilege Management Infrastructures; PERMIS, a fully functional open source authorisation infrastructure (PMI) written in Java; autonomic security systems; trust and reputation management; dynamic delegation of authority; privacy protection in authorisation; and security of ubiquitous computing systems. |
| Architecting dependable and secure systems. Self-adaptive software systems. Bioinspired computing applied to dependability and security. | |
|
I am interested in the construction and boundaries of CS Education Research as a distinct sub-disciplinary area. I have undertaken survey and synthesis work in this area. Additionally, I have a particular interest in Patterns and Pattern Languages, their use in knowledge-transfer, and their application to CS pedagogy. |
|
Data Mining, Machine Learning, Evolutionary Algorithms (mainly Genetic Algorithms and Genetic Programming) and other Bioinspired Algorithms (e.g., Ant Colony Algorithms). |
|
|
|
|
|
Bioinformatics, computational modelling of biological systems, scientific computing; computer systems inspired by nature, e.g. genetic algorithms, genetic programming (including connections with programming language theory) and neural networks; media technologies. |
|
|
|
I am interested in how affective and conative factors relate to the learning and teaching of computer science and programming. |
| Scientific image processing, especially volumetric and multi-spectral data; video-realistic computer animation, especially virtual humans; bio-inspired computation. | |
|
In my work I apply program analysis techniques to automatically find security holes in software. I am also developing tools that aid the recovery of information from binaries that supports white-hat hackers in the reverse engineering process. |
|
Software tools for education, especially for learning and teaching software development; pedagogy of programming; object-oriented systems and programming languages; visualisation. |
|
|
| I am interested in research into Wireless networks. There are three strands to my interests and these are: Eduroam and trust over differing institutions, reputation and trust based systems in ad hoc networks, and large scale ad hoc network routing and capacity limitations. | |
| My research interests include: P2P Systems Security, Key management for hierarchical environments, Authentication and access control for computer grid systems, Key management for Group Communications, Wireless systems security (IEEE802.11, GSM, GPRS, UMTS, TETRA). | |
|
Visual aspects of diagrams including: graph display systems; graph drawing algorithms; diagram layout techniques. |
|
|
|
|
|
|
|
|
|
|
| |
|
| Research Staff | Primary Research Interests |
| |
|
|
|
|
Computational systems biology and simulation of biological systems. |
|
|
| Specification and verification of real-time systems. In particular, temporal logics and theories of timed automata. | |
| My research interests include but are not limited to the federation of identity, secure attribute aggregation from multiple identity providers, web single sign on, OpenID, Role Based Access Control and digital identity management. | |
|
|
|
|
|
|
|
|
|
|
|
My research interest is security policy for information system. The study is based on ontology model of security policy, which is generic for variant environments and can be used for reasoning. Currently, we are working on a project of extracting security policy from natural language, to enable those users make security policy in a natural way. |
|
|
|
|
|
|
|
|
|
| |
|
| Postgraduate Students | Primary Research Interests |
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
... |
|
I am working on computational modelling of human cognition, more precisely how humans allocate attention over time. |
|
|
|
|
|
|
|
|
| My research interests include global Internet ethics and security. | |
|
|
|
|
|
|
|
Sound synthesis, understanding and manipulation of timbre of instruments. Creating intuitive and 'musical' ways for a musician to design sounds on a synthesiser. |
|
I am working on the development of biologically inspired adaptive algorithms for use on sensor networks. At the moment I am developing a neural network based novelty detector which learns on-line, promoting data it considers to be novel given data recently observed. |
|
|
|
Particle swarm optimisation and heuristic optimisation methods in general, bioinformatics, probabilistic data clustering. |
|
|
|
|
|
|
|
Diagrams to facilitate the visualization and analysis of data. In particular: graph drawing techniques; Euler and Venn diagram generation and layout approaches; and the identification of appropriate aesthetic layout criteria for such diagrams. |
|
Applying data mining using evolutionary algorithms to infrared astronomical photometric and spectroscopic data sets. Attempting to extract various information such as relationships between redshift and galactic morphologies and luminosities. |
|
Security. |
|
|
|
... |
|
|
|
|
|
Data Mining - Bayesian Network Classifiers, Kernel-Based Learning Methods and Evolutionary Algorithms. |
|
|
|
|
|
|
|
|
|
|
|
My research interests lie in the area of use of Bayesian prediction techniques on mobile and ubiquitous devices to predict what a user might want given his or her contextual information. |
|
My research interests include visual aspects of diagrams including: improving aesthetics for information visualisation and graph drawing. |
|
|
|
|
| My interests include distributed computing (Grid computing for home environment and Web Services), Security for Digital Television, PKI, Secure Audit Systems and System engineering. | |
|
|
|
|
|
| |
|