The following projects have recently ended:
- Interconnection Networks: Practice unites with Theory (INPUT)
- Principal Investigator; EPSRC grant EP/K015680/1; Sept. 2013-Sept. 2016; value £353,575
"The practical construction of, for example, a supercomputer that might fill a large room is immensely complex, with a multitude of wires, cables, boards, chips, racks and cabinets all conjoined so that all of the computational power of such a system can be employed to yield efficient solutions to problems on massive data sets. The design of such a hardware and software system is an incredible feat of engineering. Mathematicians abstract the essential interconnection network within such a supercomputer as a graph. Whilst this may seem an imprecise abstraction, one can use graph-theoretic properties in order to design interconnection network topologies which possess many properties one would wish of an interconnection network. Graph properties relating to, for example, symmetry, shortest-paths, connectivity, Hamiltonicity, recursive decomposability and embeddings prove to be extremely important in securing good practical properties for interconnection networks. However, up until now there has been a considerable gap between the mathematical theory on the one hand and practical interconnection network performance on the other. Our research proposal aims to narrow this gap by providing a closer link between the theory and practice of interconnection networks, with the ultimate goal being techniques by which we can theoretically design an interconnection network and be sure of its resulting practical properties when built and used."
- This project was in collaboration with Professor Steve Furber, Dr. Javier Navaridas, and Dr. Mikel Luján in the Advanced Processor Technologies research group at the University of Manchester.
- There were two Post-doctoral Research Assistants employed on this project: Dr. Alejandro Erickson at Durham; and Dr. Abbas Kiasari at Manchester.
- Detecting Induced Graph Patterns
- Co-Investigator (PI: Dr. Daniel Paulusma); EPSRC grant EP/K025090/1; Sept. 2013-Sept. 2016; value £363,442
"We consider the following four elementary graph operations: vertex deletions; edge deletions; edge contractions; and vertex dissolutions. Combining these four graph operations leads to ten essential graph containment relations, and each graph containment relation corresponds to a decision problem: subject to the specified containment relation, does a graph G contain some graph H? One of the most important and fundamental achievements of Theoretical Computer Science and Discrete Mathematics is Robertson and Seymour's Graph Minor Project where a structural characterization of graphs without a forbidden minor is derived. Their theory has led to deep results across Computer Science and Mathematics. An important consequence of their theory is that any containment problem allowing edge deletions can be efficiently solved. Our over-arching aim is to develop a theory, similar to that of Robertson and Seymour, but on induced containment relations, i.e., when edge deletions are not permitted graph operations. As techniques that are useful for their non-induced counterparts can no longer be applied, a basic theory for induced containment relations, similar to the Graph Minor Project of Robertson and Seymour, is largely absent. Our research proposal aims to change this."
- There was a Post-doctoral Research Assistant employed on this project: Dr. Konrad Dąbrowski.
The following are projects that finished in the not too distant past:
Current PhD students:
- Aidan Chalk
GPGPU computing applied to problems in molecular simulation
(updated 2nd April 2017)