# How to apply

For more information on studying with this Department go to our** Research Opportunities page.**

To complete an application to study, go to the** University's application page. **

For more information on studying with this Department go to our** Research Opportunities page.**

To complete an application to study, go to the** University's application page. **

Large crustacean zooplankton–copepods and euphausiids–are crucial links in high-latitude food webs. They are long-lived, and the interaction of their life histories with their environments constitute a strong filter lying between oceanographic patterns (temperature, transport, primary productivity) and the response of fish, seabirds, and marine mammals. This studentship will use cutting-edge trait- and optimality-based modelling methods to address fundamental questions regarding the ecology of these species: why does each life strategy occur where it does and not where it doesn’t? Why is the Southern Ocean not more similar to the Arctic Ocean and its fringing subarctic seas at this trophic level? Where are current populations of high-latitude copepods and euphausiids likely to be most sensitive to climate change, and which environmental drivers are most crucial?

The project will make use of the recently developed “Coltrane” model of copepod life history (Banas et al., Front. Mar. Res., 2016, http://neilbanas.com/projects/coltrane), which has been validated for several Arctic copepod populations but never in the Southern Ocean, and only over a particular range of body sizes and behavioural patterns. The new project will generalize Coltrane to resolve euphausiids as well as a more flexible range of overwintering strategies, guided by a suite of regional datasets from South Georgia Island and the Antarctic Peninsula (in the Southern Ocean) and the Eastern Bering Sea and Barents Sea (in the Arctic).

The project will be co-supervised by Dr Neil Banas, an ocean modeller in the Dept of Mathematics and Statistics, University of Strathclyde, Glasgow UK (http://neilbanas.com/projects/); and Profs Geraint Tarling and Eugene Murphy, zooplankton ecologists at the British Antarctic Survey, Cambridge, UK (http://www.bas.ac.uk/profile/gant/, http://www.bas.ac.uk/profile/ejmu/). At Strathclyde, the student will work closely with a team of students, postdocs, and senior scientists that is using Coltrane for pan-Arctic modelling of three copepod species as part of a new programme, “DIAPOD,” sponsored by the NERC Changing Arctic Ocean initiative. Results from this studentship will deepen the power of the DIAPOD model projections to capture the prey field for Arctic fish, bird, and mammal predators as a whole. The student will also have opportunities to spend periods of time at the British Antarctic Survey working alongside field ecologists and modellers. They will also have the option to experience copepod and euphausiid field sampling first hand through participation on a Southern Ocean scientific cruise. There may also be further opportunities to collaborate with leading US and Norwegian polar researchers and ocean modellers.

The position is open to all UK and EU applicants. Excellent mathematical and programming skills are required, and a background in oceanography or ecology is preferred. The position comes with three years of full support, including fees and an annual living stipend of approximately £14,000, as well as support for conference travel and other expenses. Start date is flexible.

Review of applications will begin 15 Mar 2017 and continue until the position is filled. To apply, send 1) a complete CV, 2) a 1-2 page personal statement explaining your specific interest in this position and the skills you bring to it, and 3) names and contact info for three references. Please send applications and other inquiries to Dr Neil Banas, neil.banas@strath.ac.uk.

MSY has become the standard basis on which fishery management reference points, such a Fishing mortality rate (F) and Spawning Stock Biomass(SSB), are set.

In almost all stocks these reference points are estimated using single species steady state models that assume invariance of life history parameters such as growth reproduction and natural mortality. There are good reasons to suppose that these life history parameters are not constant and it would be expected that natural mortality would change as a result of species interactions. Thus while it might be possible to fish at a value of F based in single species models, there is not good reason to believe that by so doing, SSB and catch will be achieved. Despite this major difficulty many analyses of the status of global fish stock are based on the assumption that single species MSY is observable and has been used to estimate foregone catch and estimate “safe” limits for SSB.

The purpose of this project will be to use current ecosystem models to assess the implications for both realised SSB and catch when stocks in a multispecies complex are all fished at single species Fmsy. The project would also examine methods that have been used to classify the exploitation status of stocks based on catch data alone when it has been assume that single species MSY is observable. Based on this analysis alternative reference points will be proposed that take into account species interactions and hence provide a more robust basis for fishery management.

MSY has become the standard basis on which fishery management reference points, such a Fishing mortality rate (F) and Spawning Stock Biomass(SSB), are set.

In almost all stocks these reference points are estimated using single species steady state models that assume invariance of life history parameters such as growth reproduction and natural mortality. There are good reasons to suppose that these life history parameters are not constant and it would be expected that natural mortality would change as a result of species interactions. Thus while it might be possible to fish at a value of F based in single species models, there is not good reason to believe that by so doing, SSB and catch will be achieved.

Despite this major difficulty many analyses of the status of global fish stock are based on the assumption that single species MSY is observable and has been used to estimate foregone catch and estimate “safe” limits for SSB. The purpose of this project will be to use current ecosystem models to assess the implications for both realised SSB and catch when stocks in a multispecies complex are all fished at single species Fmsy.

The project would also examine methods that have been used to classify the exploitation status of stocks based on catch data alone when it has been assume that single species MSY is observable. Based on this analysis alternative reference points will be proposed that take into account species interactions and hence provide a more robust basis for fishery management.

Modern investigative and surgical techniques (such as ultrasound imaging or keyhole surgery) require increasingly sophisticated models of human tissue. Nonlinear elasticity seems to provide a good framework for modelling, and the aim is to develop models for particular tissue types and add in other physically realistic behaviour, such as viscoelasticity.

Once good mathematical models have been derived and verified, the object is to use them to compute the tissue's behaviour. The aim here is to develop efficient numerical methods since there are no "exact" solutions in general.

Time dependent wave propagation and scattering is important in acoustics, electromagnetics and seismology. These problems involve transient wave fields (often short pulses) and give rise to systems of hyperbolic PDEs, which can be approximated directly or first reformulated as boundary integral equations (BIEs) posed on the surface of the scatterer.

The BIE approach is computationally attractive because it only requires quantities to be approximated on a two-dimensional surface, but standard methods are complicated to implement and/or have numerical stability problems which need to be overcome. Recently progress has been made by using time-stepping approximations based on convolution quadrature or other methods which share its "backwards-in-time" framework, but several interesting open problems remain, such as coupling these time-stepping methods to spatial approximations based on B-splines.

The overall aim is to develop reliable and efficient approximation schemes.

The study of complex networks represents an important area of multidisciplinary research involving physics, mathematics, chemistry, biology, social sciences, and information sciences, among others

[1]. A characteristic feature of these networks is that the number of transitive relationships is significantly larger than the expected one from a random evolution of the system. The transitivity is measured by the ration of the number of triangles to the maximum possible number of triangles in the graph [1]. In this Thesis we are interested in developing a mathematical model to predict the creation of triagles in complex networks.

The model is based on the concept of network communicability [2] and communicability distances [3, 4]. The communicability can be seen as a Green’s function for a network of coupled harmonic oscillators [2], which represents the attraction between pairs of nodes in a network. We will extend this idea to create a new communicability function which represents the repulsion between pairs of nodes separated by two links in a network.

By combining the attractive and repulsive communicability we are going to develop a model that account for the probability that two nodes separated by two links can form a triangle in an evolutionary process. The aims of this Thesis are: (i) to create a mathematical model to predict triangle closure in complex networks; (ii) by using a modified Schrödinger equation to study the dynamics of the propagation of repulsive effects in networks; (iii) to implement computationally the model in order to analyse some real-world networks in different scenarios, e.g. biological, social, ecological and technological networks.

[1] Estrada, E., The Structure of Complex Networks. Oxford University Press. 480 pages 305 b/w line illustrations and halftones | 246x189mm 978-0-19-959175-6 | Hardback | October 2011.

[2] Estrada, E., Hatano, N., Benzi, M., The physics of communicability in complex networks. Physics Reports, 514 2012, 89-119

[3] Estrada, E., The communicability distance in graphs. Linear Algebra and its Applications, 436 2012, 4317-4328.

[4] Estrada, E., Complex networks in the Euclidean space of communicability distances. Physical Review E, 85 2012, 066122.

The study of complex networks represents an important area of multidisciplinary research involving physics, mathematics, chemistry, biology, social sciences, and information sciences, among others [1]. These systems are commonly represented by mean of simple or directed graphs. However, this representation is inappropriate for the study of certain problems. A particularly important problem is that of representing and studying metabolic networks. Metabolic networks are networks of chemical reactions in the organism in which some metabolites are transformed into others mediated by enzymes and cofactors. There has been much criticism for the oversimplified representation of these networks as simple or directed graphs. Hypergraphs, graphs in which nodes can be linked by n-ary relationships known as hyperedges, are the best choice for such representation. Following some preliminary results in which we have developed some centrality measures for the nodes in hypernetworks [2] the aims of this Thesis are: (i) develop new measures for charactersing the local and global structure of hypernetworks; (ii) extend an Euclidean metric known as communicability distance [3, 4] to the study of hypernetworks; (iii) studying metabolic networks using hypernetwork representations and the topological measures previously developed; (iv) analysing other areas in which hypernetworks are necessary for representing complex systems.

[1] Estrada, E., The Structure of Complex Networks. Oxford University Press. 480 pages 305 b/w line illustrations and halftones | 246x189mm 978-0-19-959175-6 | Hardback | October 2011.

[2] Estrada, E.; Rodríguez-Velázquez, J. A. Subgraph centrality and clustering in complex hyper-networks. Physica A, Statistical Mechanics and its Applications 364, 2006, 581-594.

[3] Estrada, E., The communicability distance in graphs. Linear Algebra and its Applications, 436 2012, 4317-4328.

[4] Estrada, E., Complex networks in the Euclidean space of communicability distances. Physical Review E, 85 2012, 066122.

Classification of teas (types, quality grades, region of origin etc) has been examined by many researchers, using both chemical composition and more recently digital image analysis techniques to extract features from the image that are useful for classification.

Factors affecting the success of classification include the choice of features, the classifier and the imaging modality. Building on previous work at Strathclyde in collaboration with the EEE department, this project will allow the student to examine the choice of any of these to achieve optimal results. Intending students should have a strong statistical background and excellent computer skills, and be competent/be able to quickly become competent in the use of both R and Matlab.

**Second supervisors: George Gettinby, Magnus Peterson**

Worldwide losses of honey bee colonies have attracted considerable media attention in recent years and a huge amount of research. Researchers at Strathclyde have experience since 2006 of carrying out a series of surveys of beekeepers in Scotland (http://personal.strath.ac.uk/a.j.gray/) and now have 5 years of data arising from these surveys. These data have been used to estimate colony loss rates in Scotland and to provide a picture of beekeepers’ experience and management practices.

This project will examine the data in more detail than has been done so far, and is likely to involve data modelling and multivariate methods to identify risk factors. Part of the project will involve establishing the spatial distribution of various bee diseases.

This project will build on links with the Scottish Beekeepers’ Association and membership of COLOSS, a network linking honey bee researchers in Europe and beyond. Intending students should have a strong statistical background and excellent computer skills, and be competent/be able to quickly become competent in the use of R.

**Introduction**

In this project we shall look at how stochastic models can be used to describe how infectious diseases spread. We will start off by looking at one of the simplest epidemic models, the SIS (susceptible-infected-susceptible) model. In this model a typical individual starts off susceptible, at some stage catches the disease and after a short infectious period becomes susceptible again.

These models are used for diseases such as pneumococcus amongst children and sexually transmitted diseases such as gonorrhea amongst adults (Bailey, 1975). Previous work has already looked at introducing stochastic noise into this model via the disease transmission term (Gray et al. 2011). This is called environmental stochasticity which means introducing the random effects of the environment into how the disease spreads. This results in a stochastic differential equation (SDE) model which we have analysed. We have derived an expression for a key epidemiological parameter, the basic reproduction number.

In the deterministic model this is defined as the expected number of secondary cases caused by a single newly-infected individual entering the disease-free population at equilibrium. The basic reproduction number is different in the stochastic model than the deterministic one, but in both cases it determines whether the disease dies out or persists. In the stochastic SIS SDE model we have shown the existence of a stationary distribution and that the disease will persist if the basic reproduction number exceeds one and die out if it is less than one.

**SDE Models with Environmental Stochasticity**

We have also looked at other SDE models for environmental stochasticity. One of these took a simple deterministic model for the effect of condom use on the spread of HIV amongst a homosexual population and introduced environmental stochasticity into the disease transmission term. Again we found that a key parameter was the basic reproduction number which determined the behaviour of the system.

As before this was different in the deterministic model than the stochastic one. Indeed it was possible for stochastic noise to stabilise the system and cause an epidemic which would have taken off in the deterministic model to die out in the stochastic model (Dalal et al., 2007). Similar effects were observed in a model for the internal viral dynamics of HIV within an HIV-infected individual (Dalal et al., 2008).

**Demographic Stochasticity**

The real world is stochastic, not deterministic, and it is difficult to predict with certainty what will happen. Another way to introduce stochasticity into epidemic models is demographic stochasticity. If we take the simple homogeneously mixing SIS epidemic model with births and deaths in the population we can derive a stochastic model to describe this situation by defining p(i, j, t) to be the probability that at time t there are exactly i susceptible and j infected individuals and deriving the differential equations satisfied by these probabilities.

Then we shall look at how stochastic differential equations can be used to approximate the above set of equations for p(i, j, t). This is called demographic stochasticity and arises from the fact that we are trying to approximate a deterministic process by a stochastic one (Allen, 2007). Although the reasons for demographic and environmental stochasticity are quite different the SDEs which describe the progress of the disease are similar. The first project which we shall look at is analysis of the SIS epidemic model with demographic stochasticity along the lines of our analysis of the SIS epidemic model with environmental stochasticity. **Further Work**

After this we intend to look at other classical epidemiological models, in particular the SIR (susceptible-infected-removed) model in which an individual starts off susceptible, at some stage he or she catches the disease and after a short infectious period he or she becomes permanently immune. These models are used for common childhood diseases such as measles, mumps and rubella (Anderson and May, 1991). We would look at introducing both environmental and demographic stochasticity into this model.

Other epidemiological models which could be analysed include the SIRS (susceptible-infected-removed-susceptible) epidemic model, which is similar to the SIR epidemic model, except that immunity is not permanent, the SEIS (susceptible-exposed-infected-susceptible) model which is similar to the SIS model, but includes an exposed or latent class, and the SEIR (susceptible-exposedinfected- removed) model, which similarly extends the SIR model.

We would also aim to look at other population dynamic models such as the Lotka-Volterra predator-prey model. There is also the possibility of developing methods for parameter estimation in all of these epidemiological and population dynamic models, and we have started work on this with another Ph. D. student (J. Pan).

**References**

1. E. Allen, Modelling with Itˆo Stochastic Differential Equations, Springer-Verlag, 2007.

2. R.M. Anderson and R.M. May, Infectious Diseases of Humans: Dynamics and Control, Oxford University Press, Oxford, 1991.

3. N.T.J. Bailey, The Mathematical Theory of Infectious Disease and its Applications, Second Edition, Griffin, 1975.

4. A.J. Gray, D. Greenhalgh, L. Hu, X.

5. N. Dalal, D. Greenhalgh and X. Mao, A stochastic model for AIDS and condom-use. J. Math. Anal. Appl. 325, 36-53, 2007.

6. N. Dalal, D. Greenhalgh and X. Mao, A stochastic model for internal HIV dynamics. J. Math. Anal. Appl. 341, 1084-1101, 2008.

Differential equation models are commonly used to model infectious diseases. The population is divided up into compartments and the flow of individuals through the various classes such as susceptible, infected and removed is modelled using a set of ordinary differential equations (Anderson and May, 1991, Bailey, 1975). A basic epidemiological parameter is the basic reproduction number. This is defined as the expected number of secondary cases produced by a single newly infected case entering a disease-free population at equilibrium (Diekman and Heesterbeek). Typically the disease takes off if R0 > 1 and dies out if R0≤1.

However media awareness campaigns are often used to influence behaviour and if successful can alter the behaviour of the population. This is an area which has not been studied much until recently. The student would survey the existing literature on media awareness models in the literature and with the supervisor formulate mathematical models using differential equations for the effect of behavioural change on disease incidence. These would be examined using both analytical methods and computer simulation with parameters drawn from real data where appropriate. The mathematical techniques used would be differential equations, equilibrium and stability analyses and computer simulation.

**References**

1. R.M. Anderson and R.M. May, Infectious Diseases of Humans: Dynamics and Control, Oxford University Press, Oxford, 1991.

2. N.T.J. Bailey, The Mathematical Theory of Infectious Disease and its Applications, Second Edition, Griffin, 1975.

3. O. Diekmann, J. A. P. Heesterbeek and J. A. J. Metz, On the definition and computation of the basic reproduction number R0 for infectious diseases in heterogeneous populations. J. Math. Biol. 28, 365-382.

4. A. K. Misra, A. Sharma and J. B. Shukla, Modelling and analysis of effects of awareness programs by media on the spread of infectious diseases. Math. Comp. Modelling 53, 1221- 1228.

5. A. K. Misra, A. Sharma, V. Singh, Effect of awareness programs in controlling the prevalence of an epidemic with time delay, J. Biol. Systems, 19(2), 389-402,

This studentship will be of 3 years duration with stipend and fees for a UK/EU student, funded by the University (funding application submitted outcome pending). This project is part of a collaboration with the Department of Mechanical and Aerospace Engineering.

Our immune system, the movement of people in congested environments, and the economy, are all examples of complex systems that are key to our well-being. These systems normally operate in a predictable way, that is, when the immune system is healthy, crowds move homogeneously, and economic business cycles oscillate steadily about an increasing mean.

However, catastrophe in these systems can occur, in these cases, through disease, crowd panic and economic shocks such as acts of terrorism, that lead to undesirable and unpredictable behaviour. This unpredictable behaviour is seemingly impossible to manage effectively.

For example government bodies may introduce constrictive legislation to regulate the decision maker but this is often at the expense of efficiency and increased bureaucracy. This studentship will investigate a mathematically informed method to introduce a robustness in these systems that will not require aggressive short term fixes but uses continuous non-intrusive management instead.

Moreover, current strategies and control methods fail to cope with the complexities of these systems and there is an opportunity here to test the possibility of a new management philosophy through fundamental research.

Our methodology will be informed by a technique used in physics to control chaos in low-dimensional systems of ordinary differential equations (ODEs). This technique is coined time-delayed auto-synchronization (T-DAS) [1,2]. Analytical and numerical techniques will be used to investigate models in the areas of disease management, economic management and crowd control.

**References**

1. Pyragas, K., Continuous control of chaos by self-controlling feedback, Physics Letters A, vol. 170, pp. 421-428, 1992.

2. Scholl, E. and Schuster, H.G. (Editors): Handbook of Chaos Control, Wiley-VCH, Weinheim, 2008.

In recent years there has been much work on reaction-diffusion equations in which the diffusion mechanism is not the usual Fickian one. Examples are integro-differential equations, porous media type equations, pseudodifferential equations, p-Laplacian type equations and prescribed curvature type (saturating flux) equations.

The motivation for this work comes from material science and mathematical ecology. However, there are applied contexts where these diffusion mechanisms have never been considered. One is in the area of combustion and the other is in the area of regularised conservation laws and shock propagation. This project, which would build on the work I did through the years on integrodifferential models and recently with M. Burns on the prescribed curvature equations, will use PDE, asymptotic, and topological methods to explore the dynamics of blowup and of shock propagation in canonical examples of reaction equations and nonlinear scalar conservation laws regularised by non-Fickian diffusion terms.

References:

[1] M. Burns and M. Grinfeld, Steady state solutions of a bistable quasilinear equation with saturating flux, European J. Appl. Math. 22 (2011), 317-331.

[2] M. Burns and M. Grinfeld, Steady state solutions of a bistable quasilinear equation with saturating flux, European J. Appl. Math. 22 (2011), 317-331.

Recently, a new class of model has been developed to describe, for example, phase separation in materials such as binary alloys. These take the form of integrodifferential equations. Coarsening, that is, creation of large scale patterns in such models is poorly understood.

There are partial results [1, 2] that use the maximum principle, while for most interesting problems such a tool is not available. This will be a mixture of analytic and numerical work and will need tools of functional analysis and semigroup theory.

References:

[1] D. B. Duncan, M. Grinfeld, and I. Stoleriu, Coarsening in an integro-differential model of phase transitions, Euro. J. Appl. Math. 11 (2000), 561-572.

[2] V. Hutson and M. Grinfeld, Non-local dispersal and bistability, Euro. J. Appl. Math. 17 (2006), 221-232.

The Ericksen bar model is a model of displacement of a visco-elastic bar bonded to a rigid support. Mathematically, it gives rise to a fourth order PDE.

The project would be to examine the bifurcation and stability of various buckling patterns. Some local work and path-following has been done in [1], but many questions remain. One possibility would be to continue the piecewise linear work begun in [2]. The work will involve learning about bifurcations with symmetry, calculus of variations, and path-following methods using AUTO.

References:

[1] M. Grinfeld and G. Lord, Bifurcations in the regularised Ericksen bar model, J. Elasticity 90 (2008), 161-173.

[2] N. K. Yip, Structure of stable solutions of a one-dimensional variational problem. ESAIM Control Optim. Calc. Var. 12 (2006), 727-751.

The digital revolution is generating novel large scale examples of connectivity patterns that change over time. This scenario may be formalized as a graph with a fixed set of nodes whose edges switch on and off. For example, we may have networks of interacting mobile phone users, emailers, Facebookers or Tweeters.

To understand and quantify the key properties of such evolving networks, we can extend classical graph theoretical notions like degree, pathlength and centrality. This project will focus on the development of linear algebra-based algorithms that can capture various aspects of information flow around an evolving network, with the aim of identifying important players. Real data sets from the world of on-line social interaction will be used to test ideas.

Suggested reading:

Collaboration Blooms from SIAM News Article, SIAM News, 2012

Peter Grindrod, Desmond J. Higham, and Peter Laflin http://www.siam.org/pdf/news/2039.pdf

Social scientists have developed empirical rules, including homophily and triadic closure, that aim to describe how human social interactions evolve over time. The emergence of large scale digital data sets opens up the possibility of testing these hypotheses.

This project will involve the development of mathematical models, in the language of stochastic processes, and the validation of these models via computer simulation and Bayesian inference.

Suggested reading:

Bistability through triadic closure, P. Grindrod, D. J. Higham and M. C. Parsons, Internet Mathematics, Internet Math. Volume 8, Number 4 (2012), 402-423.

http://personal.strath.ac.uk/d.j.higham/Plist/P111.pdf

This project will look at the development and validation of computatonal algorithms that aim to summarize the community structure in a dynamically evolving network. The work will involve linear algebra, matrix computation, applied statistics and high performance computing. Applications include the analysis of on-line behaviour, e.g., through Twitter (who tweeted who) and email (who emailed who). The project will also look at methods for real-time summaries of other network properties.

Suggested reading:

A matrix iteration for dynamic network summaries, P. Grindrod and D. J. Higham, SIAM Review, 55(1), 118–128.

http://personal.strath.ac.uk/d.j.higham/Plist/P109.pdf

Risk prediction models are increasingly used within health care settings to manage patients and resources. The Scottish Healthcare Associated Infection Prevention Institute (SHAIPI) (http://www.gla.ac.uk/researchinstitutes/iii/research/researchcentres/sirn/shaipi/welcometoshaipi/)has a 3 year work stream to develop risk prediction models for health care associated infections (HAIs) in Scotland using routinely collected national, individual level data from hospitals, general practice and pharmacies.

Traditional risk prediction models use historical data collected on individuals to predict a 1 year, 5 year, or lifetime risk of a disease. Risk prediction for HAIs, however, is challenging due to temporal and fluctuating changes in risk due events such as admissions to hospital, which after a time the risk may return to a baseline level. In our research group we have recently published work the risk factors for a specific HAI, Clostridium, work which forms the cornerstone of the SHAIPI programme, whereby we will assess the ability of our model to predict HAI occurrence given previous antibiotic prescribing and other individual level risk factors. There is also potentially a spatial aspect to therisk of community acquisition of some HAIs for an individual, or groups of individuals. Aquisition may depend not only on the characteristics of the individual, for example the prescribing history, but also on the characteristics of the area (GP practice) that the individual attends. GP Practices within the same local area will share characteristics, some as a function of being within the same community health partnership and health board.

The successful PhD student will

(a) To write a comprehensive review of existing literature on statistical features of risk prediction models including the types of data sets that are used for the development of these models. This will classify the approaches used and identify the methodological gaps.

(b) develop spatio-temporal risk prediction models, test the model selection process and use simulated data with various types of spatial and temporal effects to validate the model predictions.

(c) derive a model for community acquired Clostridium Difficile and to assess the contribution of the spatial and temporal components of risk.

(d) develop novel data visualisation tools to display the risk predictions against comparator groups and to enable the user to investigate how the risk is modified by changes to the characteristics of the individual and the GP Practice.

The Department of Mathmatics and Statistics, in collaboration with the Strathclyde Institute of Pharmacy and Biomedical Sciences, seeks to appoint a PhD to join our pharmacoepidemiology research program. The post holder will also be part of SHAIPI. Funding: This is a 3-year PhD Studentship funded by the University of Strathclyde, matched with funding from SHAIPI. It provides stipend and fees. Full funding is available to UK/EU candidates only. Applicants should have a minimum of a 1st Class or 2.1 Honours degree. Preferably candidates will hold or be completing a Masters qualification in Statistics, Mathematics, or a mathematical science. To apply, email your CV, contact details of two referees and cover letter to kim.kavanagh@strath.ac.uk and chris.robertson@strath.ac.uk

Deadline for applications is 10th March 2017 with interviews being held on 31st March 2017

Techniques to be used:

• Systematic search of literature

• Information extraction from high quality routinely local and national collected data from the NHS systems and a wider set of social care datasets

• Statistical analyses and modelling techniques relevant for observational data

• Risk prediction algorithms including logistic regression and machine learning

• Bayesian modelling

Matrix balancing aims to transform a nonnegative matrix A by a diagonal scaling by matrices D and E so that P = DAE has prescribed row and column sums. Historical motivation for achieving the balance has included interpreting economic data, preconditioning sparse matrices and understanding traffic circulation. More recently, it has been acknowledged that there is a role for matrix balancing in network analysis, inferring phylogenies (via hierarchical clustering) and increasing fairness in elections.

Application of balancing has been limited by a lack of analysis of existing algorithms in order to assess their efficacy for large scale data sets. We have recently filled in some of the holes in this analysis and have had some success in implementing existing and new algorithms on very large problems. The new algorithms we have developed for balancing have been shown to work an order of magnitude faster than the standard algorithm. We would like to develop these algorithms to find implementations suitable for parallel computations on large data sets. And we would like to develop more full the theory of balancing by drawing from the theory of linear programming as well as linear algebra.

In tandem with algorithmic and theoretical work, applications in disciplines such as electoral policy and phylogenic reconstruction are a central feature of the project. The student will be able to influence the direction of the project based on her/his interests.

The successful candidate will have an undergraduate or postgraduate degree in mathematics or a similar numerate discipline. Experience of numerical analysis (particularly numerical linear algebra) and programming in a high level language such as C++ or FORTRAN would be an advantage.

The studentship is available for UK/EU candidates subject to specific eligibility criteria. In addition to the payment of tuition fees for the 3.5 year duration of the project, the award includes provision for a student maintenance grant at the standard EPSRC rate.

Recently we have been developing computational models and tool enabling the simulation of migration and chemotaxis of ameboid cells like human neutrophils. Chemotaxis is extremely important in the biological context of wound healing, embryogenesis and cancer metastsis.

Our group works in collaboration with cell biologists and computational modelers at the Beatson Centre for Cancer Reasearch here in Glasgow. There are many fascinating and important questions that we hope to help answer using computational models such as the role of cell to cell signalling, the eect of collective cell migration and the interaction of cells with extracellular matrix material.

Projects in this area require the use of state-of-the art techniques for the solution of differential equations on evolving domains and surfaces. Although a background in biology is not necessary, suitable candidates must have an interest in interdisciplinary work. Experience of solving time dependent PDEs using nite element methods would also be advantageous. **References**

M.P. Neilson, D.M. Veltman, P.J.M. van Haastert, S.D. Webb, J.A. Mackenzie and R.H. Insall, Chemotaxis: A Feedback-Based Computational Model Robustly Predicts Multiple Aspects of Real Cell Behaviour. PLoS Biology, 9(5):e1000618.doi:10.1371/journal.pbio.1000618, 2011.

M.P. Neilson, J.A. Mackenzie, S.D. Webb and R.H. Insall, Modelling Cell Movement and Chemo- taxis Using Pseudopod-Based Feedback. SIAM Journal on Scientic Computing, Vol. 33, pages 1035-1057, 2011.

M.P. Neilson, J.A. Mackenzie, S.D. Webb and R.H. Insall, Use of the parameterised nite element method to robustly and eciently evolve the edge of a moving cell. Integrative Biology, Vol. 2, pages 687-695, 2010. 1

One of the important issues in the study of stochastic differential equations (SDEs) is the automatic control, with subsequent emphasis being placed on the analysis of stability. Traditionally, given an unstable SDE

dx(t)=f(x(t))dt + g(x(t))dB(t),

we may design a feedback control u(x(t)), based on the current state x(t), so that the controlled system

dx(t) = [f(x(t)) + u(x(t))] dt + g(x(t))dB(t)

becomes stable. Such a continuous-time feedback control requires continuous observation of the state x(t) for all time t > 0. However, it is more realistic and cost effective in practice if the state is only observed at discrete times with sampling interval T>0. Accordingly, the feedback control is designed based on these discrete-time observations, namely the feedback control should be of the form u(x([t/T]T)), where [t/T] is the integer part of t/T so that the following system

dx(t) = [f(x(t)) + u(x([t/T]T))]dt + g(x(t))dW(t)

is stabilised and has expected performance. There is so far little work on this problem by discrete-time feedback controls, although the corresponding problem for the deterministic differential equations has been studied. This project aims

to tackle this challenging problem. The project objectives are:

(a) Starting with linear SDEs, design linear structure feedback control FBx([t/T]T)), where a state feedback controller will be developed when B is given but F is to be designed, while an output injection control will be developed if F is given but B is to be designed.

(b) We will then consider nonlinear SDEs with the linear growth condition, under which it is possible to design discrete-time linear state feedback control or output injection to stabilise the SDEs.

(c) We will further consider some nonlinear SDEs without the linear growth condition.

Population systems are always subject to environmental noise. It is therefore necessary to reveal how the noise affects the population systems. Population systems under environmental noise described by stochastic differential equations (SDEs) have been studied by many authors. Mao's group has made several significant contributions to this area. For example:

in 2002, they revealed an important fact that the environmental noise can suppress a potential population explosion and their paper has an important impact on the study of stochastic population systems (Google Citations: 200).

in 2004, they found that the noise might make the population become extinctive (Google Citations: 93).

This PhD project will

- Establish advanced SDE epidemic models by the technique of parameter perturbation or modelling system parameters as time-dependent stochastic processes and show the SDE models have unique global positive solutions.
- Establish more acceptable conditions for the existence of a stationary distribution for the SDE epidemic models and study the characteristics of the stationary distribution including the mean and covariance.

The area of active fluids is currently a “hot topic” in biological, physical and mathematical research circles. Such fluids contain active organisms which can be influenced by the flow of fluid around them but, crucially, also influence the flow themselves, i.e. by swimming. When the organisms are anisotropic (as is often the case) a model of such a system must include these inherent symmetries. Models of bacteria and even larger organisms such as fish have started to be developed over the last few years in order to examine the order, self-organisation and pattern formation within these systems, although direct correlation and comparison to real-world situations has been limited.

This project will use the theories and modelling techniques of liquid crystal systems and apply such modelling techniques to the area of anisotropy and self-organisation derived from active agents. The research will involve a continuum description of the fluid, using equations similar to the classical Navier-Staokes equations, as well as both the analytical and numerical solution of ordinary and partial differential equations.

Interaction and collaboration with a number of UK and international groups will be possible: particularly groups in Bath and North Carolina. Although co-funding is not available at present this might be possible through contacts in the fish-farm industry.

Groundwater is the water underneath the surface of the earth which fills the small spaces in the soil and rock and is extremely important as a water supply in many areas of the world. In the UK, groundwater sources, or aquifers, make up over 30% of the water used, and a single borehole can provide up to 10 million litres of water every day (enough for 70,000 people).

The flow of water into and out of these aquifers is clearly an important issue, more so since current extraction rates are using up this groundwater at a faster rate than it is beoing replenished. In any specific location the fluxes of water occur from precipitation infiltrating from the surface, evaporation from the surface, influx from surrounding areas under the surface, the flow of surface water (e.g. rivers) into the area, and the transpiration of water from underground directly into the atmosphere by the action of rooted plants.

This complicated system can be modelled using various models and combined into a single system of differential equations. This project will consider single site depth-only models where, even for systems which include complicated rooting profiles, analytical solutions are possible, but also two- and three-dimensional models in which the relatively shallow depth compared to the plan area of the aquifer can be utilised to make certain "thin-film" approximations to the governing equations.

This project will be undertaken in collaboration with Prof Alessandro Tarantino from the Department of Civil and Environmental Engineering at the University of Strathclyde.

Safety critical structures, such as those found in nuclear plants, aircraft engines, oil pipelines, and railway tracks, require to be routinely checked for the presence of cracks. This testing has to be performed non-destructively and often in-situ. To look inside these structures, one of the dominant imaging technologies that is deployed is ultrasound. In the last few years a new non-destructive testing (NDT) technology has emerged that has the potential to transform the capability of ultrasound transducer systems in detecting cracks in steel welds.

This technology consists of a spatial array of individual ultrasound transducers with each being capable of independently transmitting and receiving an ultrasound signal. The challenge is now for mathematicians to develop fast, real-time algorithms that optimise the use of this data in flaw detection and characterisation. This PhD project will use ideas from stochastic calculus (as used in the finance industry) to address this problem.

The project will involve close collaboration with engineers and other disciplines within the Centre for Ultrasonic Engineering (www.cue.ac.uk) and with industry partners.

Many high added value products and processes (such as those found in the manufacture of drugs) utilise crystalline solids whose manufacture typically involves several discrete batch processes to achieve the final desired product.

The aim of the Centre for Continuous Manufacturing and Crystallisation (CMAC) is to enable conversion of current batch manufacturing processes to a continuous basis to provide a substantial competitive advantage to UK manufacturing. However, advances are required in the fundamental understanding of the processes and in the use of sensors to measure the crystal shapes as they evolve. This PhD project will look at developing this understanding and in developing mathematical methods for extracting key properties of these crystals from sensor measurements.

The project will involve close collaboration with engineers and other disciplines within the Centre for Ultrasonic Engineering (www.cue.ac.uk) and with industry partners.

The aim of this project is to develop a mathematical understanding of insect tympanal membrane vibrations. Hearing airborne vibrations, or sound, is a sense particularly important in many insects, and plays a key role in both predator and prey detection and mate attraction.

One of the mechanical systems used by insects to detect sound waves is the air pressure receiver. Such a membrane, or tympanum, is a structurally heterogeneous structure and the way it is actuated by incident sound energy has been investigated in only a few systems. Recent work has examined tympanal vibrations in response to sound in the ears of several insects, including the locust, the moth and the cicada. These investigations have unearthed several un-expected phenomena.

The challenge now is to combine the dynamic measurements of the insect tympana vibrations with the sparse structural data in order to explain how the dynamic phenomena occur. This PhD project will involve the mathematical modelling of these systems with the aim of furthering the basic understanding of how these systems operate.

The project will involve close collaboration with engineers and biophysicists within the Centre for Ultrasonic Engineering (www.cue.ac.uk).

We wish to develop innovative methods for modelling high-dimensional time series. Practical time series data, including both continuous-valued and discrete-valued data such as climate record data, medical data, and financial and economic data, are used for empirical analysis.

Models for forecasting multivariate conditional mean and multivariate conditional variance (volatility) are concerned. Techniques for dimension reduction, such as dynamic factor analysis, are used.

The estimation of models for panel data analysis and the option valuation with co-integrated asset prices is discussed.

Nowadays people often meet problems in forecasting a functional. A functional may be a curve, a spatial process, or a graph/image. In contrast to conventional time series analysis, in which observations are scalars or vectors, we observe a functional at each time point; for example, daily mean-variance efficient frontiers of portfolios, yield curves, annual production charts and annual weather record charts.

Our goal is to develop new models, methodology and associated theory under a general framework of Functional Time Series Analysis for modelling complex dynamic phenomena. We intend to build functional time series models and to do forecasting.

When the true economic system consists of many equations, or our economic observations have a very high dimension, one may meet the ``curse of dimensionality" problem. We try to impose a common factor structure to reduce dimension for the parametric and nonparametric stability analysis of a large system. Replacing unobservable common factors by principle components in parametric and nonparametric estimation will be justified.

In contrast to conventional factor models which focuses on reducing dimensions and modeling conditional first moment, the proposed project devotes attention to dimensional reduction and statistical inference for conditional second moments (covariance matrices). The direct motivation lies in the increasing need to model and explain risk and uncertainty of a large economic system.

The other distinctive point is that the proposed project considers factor models for high frequency data. A key application is the analysis of high dimensional and high-frequency financial time series, although the potential uses are much wider.

For more information please contact Dr Pestana (jennifer.pestana@strath.ac.uk).

Applications are invited for a fully funded 3 year PhD studentship in numerical linear algebra, under the supervision of Dr Jennifer Pestana and Dr Alison Ramage, at the Department of Mathematics and Statistics at the University of Strathclyde, Glasgow, Scotland.

This project aims to develop novel preconditioned iterative methods for linear systems arising in the numerical approximation of partial differential equations via radial basis functions (RBFs). These RBF methods are well suited to problems with complex geometries and/or scattered data, such as those occurring in biological and geophysical applications. However, the linear system that must be solved as part of the RBF method becomes increasingly challenging to work with as the approximation is refined. This project will extend previous work on preconditioning RBF systems to provide more efficient and robust solvers for these problems.

The studentship covers UK/EU tuition fees and comes with an annual tax-free stipend at the standard UK rate. International students who can fund the difference between UK/EU and International fee rates are also encouraged to apply.

Applicants should have or expect to obtain a good (I or II(i)) honours degree in mathematics or in a related discipline. Experience of numerical mathematics and/or programming would be beneficial.

Marine ecosystems are generally composed of large numbers of species of widely varying sizes, ranging from unicellular species, through zooplankton and up to large fish and whales. The distribution of the total biomass of all species by size is known as the biomass spectrum.

In addition to the size variation due to differing characteristic sizes of the different species, and unlike the case in terrestrial systems, individuals themselves often undergo increases in body size of several orders of magnitude, from small eggs and larvae at a few millimetres in length up to large adults at the metre length scale.

At different parts of its life cycle an individual will be present at different parts of the biomass spectrum. Despite this apparent complexity it has long been known from field observations that biomass spectra show many regularities. In particular the logarithm of biomass density is approximately linearly related to the logarithm of body length with negative slope. Moreover, the slope of the spectrum is potentially sensitive to environmental and anthropogenic perturbations, for example the removal of large fish due to commercial fishing.

For these reasons biomass spectra have gained currency in recent years as a tool for studying the integrated ecosystem impacts of climate change and human exploitation of the seas.

The relative simplicity of representing the entire ecosystem as a size-structured spectrum has also permitted the development of mathematical representations in terms of partial differential equations, and these can be used to make predictions about ecosystem level responses to fishing and environmental change.

To date most modelling efforts have focused on steady state analyses of biomass spectra, which may be compared to annually averaged size spectra from field observations. In temperate shelf seas such as the North Sea, however, the biomass spectrum is not static but subject to seasonal impulses caused by increased primary production from phytoplankton in the spring bloom, and by seasonal reproduction by zooplankton and fish. This is known from both observational and mathematical models to induce annual ripples in the biomass distribution that propagate up the spectrum, gradually attenuating at larger sizes.

Fish larvae can exploit this by growing in size at a rate that allows them to feed near the peak of the wave, a phenomenon that has been dubbed by John Pope and his co-workers “surf-riding the biomass spectrum”. This project will focus on developing existing models to better represent these processes. In order to test the models the parameters will be estimated using Bayesian inference methods by fitting to a variety of data sets, including a long term (multi-annual) high temporal resolution (weekly) data from the North Sea.

Many fish populations worldwide have been heavily exploited and there is accumulating evidence from both observational and theoretical studies that this harvesting can induce evolutionary changes. Such responses can affect the stock sustainability and catch quality, and so there is a recognized need for new management strategies that minimise these risks. Most results suggest that high mortality on larger fish favours early maturation.

However, recent theoretical work has shown that trade-offs between growth and maturation can lead to more complex evolutionary responses. Surprisingly, harvesting large fish can select for either late or early maturation depending on the effect of maturation on growth rate. To date most theoretical studies have used evolutionary invasion analyses on simple age-based discrete-time models or on continuous-time coupled ODE representations of size structure.

In common with many generic models of fish population dynamics, population control occurs by unspecified density-dependence at settlement. While these simplifications carry the advantage of analytical tractability, the analysis assumes steady state populations. This, together with the stylised life-histories precludes comparing model results with field data on secular changes in size-distributions an sexual maturity.

The work in this project will develop a new generation of testable model for fisheries-induced adaptive changes with the potential to inform future management decisions. This will involve developing a consumer-resource model which a length-structured fish population feeding on a dynamic biomass spectrum.

Differently-sized fish will compete for food by exploiting overlapping parts of the food size spectrum. The population will be partitioned by length at maturity, and this will be the heritable trait under selection. The model will be used to explore how changes in mortality and food abundance affect the evolutionarily stable distribution of maturation lengths.

Comparisons with survey data on North Sea demersal fish will be used to assess whether the historical harvest rates are sufficient to explain growth rate changes as an evolutionary response. Finally the evolutionarily stable optimal harvesting strategies will be identified.

This exciting project builds on Professor Stephen Wilson's highly successful collaboration with Professor Khellil Sefiane (School of Engineering, University of Edinburgh and Visiting Professor at the International Institute for Carbon-Neutral Energy Research, Kyushu University, Japan) on the popular and highly topical problem of droplet evaporation. This collaboration has previously led to two excellent PhD theses by Gavin Dunn (2009), with whom we won the Institute of Physics Printing and Graphics Science Group Prize in 2009, and Jutta Stauber (2015), and a number of publications in top international journals (see, for example, references [1]-[5]). In this project we will build on the rapidly growing body of work by ourselves and others on droplet evaporation to tackle the important open scientific questions arising from the ongoing programme of experiments currently being conducted by Professor Sefiane and his group in Edinburgh. We will use a combined theoretical and experimental approach to formulate and analyse new mathematical models that capture and elucidate the key physical mechanisms at play in these experiments and hence bring new insight into the underlying physics of droplet evaporation. The results obtained are expected to be of wide interest to the many mathematicians, physicists and chemists working in this rapidly-growing field of study, and to have applications in many diverse areas from industrial cooling to crop spraying.

[1] Dunn, Wilson, Duffy, David and Sefiane, The strong influence of substrate conductivity on droplet evaporation, J. Fluid Mech. 623 329-351 (2009)

[2] Sefiane, Wilson, David, Dunn and Duffy, On the effect of the atmosphere on the evaporation of sessile droplets of water, Phys. Fluids 21 06210 (2009)

[3] Stauber, Wilson, Duffy and Sefiane, On the lifetimes of evaporating droplets, J. Fluid Mech. 744 R2 (2014)

[4] Stauber, Wilson, Duffy and Sefiane, Evaporation of droplets on strongly hydrophobic substrates, Langmuir 31 3653--3660 (2015)

[5] Stauber, Wilson, Duffy and Sefiane, On the lifetimes of evaporating droplets with related initial and receding contact angles, Phys. Fluids 27 122101 (2015)

Thin-film flow on the outside (known as coating flow) or the inside (known as rimming flow) of a rotating horizontal cylinder is a test bed for a wide range of fascinating fluid phenomena, including (but not limited to) pattern formation, explosive blow up in finite time, chaotic behaviour and segregation of mixtures, and has been the subject of an extensive international research effort in recent years.

The aim of the present project is to build on earlier work on two-dimensional flow to analyse three-dimensional flows of fluid rings and/or rivulets on both stationary and rotating cylinders, and will involve using a combination of asymptotic and numerical methods.

Leslie, G.A., Wilson, S.K., Duffy, B.R. “Thermoviscous coating and rimming flow” Q. Jl. Mech. appl. Math. 65 (4) 483-511 (2012)

Leslie, G.A., Wilson, S.K., Duffy, B.R. “Three-dimensional coating and rimming flow: a ring of fluid on a rotating horizontal cylinder” J. Fluid Mech. 716, 51-82 (2013)

In recent years there has been an explosive growth of interest in the behaviour and control of fluids at small (typically sub-millimetre) scales motivated by a range of novel applications including ink-jet printing and lab-on-a-chip technologies.

Much of the most exciting current research concerns the interaction between fluids and both rigid and flexible structures at small scales, and so the aim of the present project is to use a judicious combination of asymptotic methods and judiciously chosen numerical calculations to bring new insight into the behaviour of a variety of novel fluid-structure interaction problems in microfluidics.

Thin-film flows arise in a huge number of practical applications in industry, biology and everyday life, including industrial coating processes, printing, droplet evaporation, the mucus lining of the human lung, biofilms as well as rain on a window or treacle dripping from a spoon.

Low-order models based on the well-known lubrication approximation have proved a very powerful tool for analysing a wide range of thin-film flows. Such models are amenable to a variety of analytical and numerical methods which may be used to gain insight into the underlying physical processes at work in these flows.

The aim of the present studentship project is to build on the supervisors’ extensive experience in the analytical and numerical solution of low-order models to tackle a number of exciting and challenging thin-film flow problems. Specifically, the project will address some of the open problems in the electrodydrodynamics of droplets (i.e. thin-film flow in the presence of electric effects) and builds on the proposers’ recent work on low-order modelling of thin-film flows using the Taylor-Melcher model (see, for example, Wray et al. Langmuir 2014, Wray et al. Procedia IUTAM 2015), the lifetime of evaporating droplets (see, for example, Stauber et al. Journal of Fluid Mechanics 2014), and the dynamic response of a thin sessile drop of conductive liquid to an abruptly applied or removed electric field (see, for example, Corson et al. Physical Review E 2016). These open problems include the resolution of observed unphysical singularities and implementation of new higher-accuracy methodologies to the problem.

The project would suit graduates (and those expecting to graduate) with a good degree in applied mathematics, theoretical physics or engineering. Ideally candidates should have some background in fluid mechanics and/or numerical analysis, but previous experience of electrohydroynamics is not necessary.

If you are interested in this PhD project then please contact one of the supervisors by phone or email to discuss it. Formal application is via the University of Strathclyde postgraduate research application process at

https://www.strath.ac.uk/studywithus/postgraduateresearch/howtoapply/

making sure that you clearly state your interest in this project with these supervisors.

This PhD project is available on a self-funded basis, however the supervisors are happy to work with potential applicants to apply for a number of different studentship schemes (both internal and external to the University of Strathclyde) which support such projects.Tuition fees for 2017/2018 for postgraduate research students at the University of Strathclyde are £4,195 for home/EU students and £14,000 for international students.

References

Corson, L.T., Mottram, N.J., Duffy, B.R., Wilson, S.K., Tsakonas, C., Brown, C.V., Dynamic response of a thin sessile drop of conductive liquid to an abruptly applied or removed electric field, Phys. Rev. E 94, 043112 (2016)

Stauber, J.M., Wilson, S.K., Duffy, B.R., Sefiane, K., On the lifetimes of evaporating droplets, J. Fluid Mech. 744, R2 (2014)

Wray, A.W., Papageorgiou, D.T., Craster, R.V., Sefiane, K., Matar O.K., Electrostatic suppression of the “Coffee stain effect”, Langmuir 30, 5849-5858 (2014)

Wray, A.W., Papageorgiou, D.T., Craster, R.V., Sefiane, K., Matar O.K., Electrostatic suppression of the “Coffee-stain effect”, Procedia IUTAM 15, 172-177 (2015)

In the last decade or so there has been an explosion of interest in droplet evaporation, driven by new technological applications as diverse as crop spraying, printing, cooling technologies such as heat pipes, and DNA micro-array analysis.

One particularly interesting aspect of this problem which has thus far received relatively little attention is that of fluids whose surface tension exhibits a local minimum with temperature, known as self-rewetting fluids, a property that can have a profound effect on the dynamics of droplets on heated substrates.

The aim of the project is to build on the existing literature on conventional surface-tension-gradient driven spreading and droplet drying (see, for example, the references to some of our recent work on these problems given below) to bring new physical insight into this challenging scientific problem, and hence to harness the novel properties of self-rewetting droplets in a range of applications.

The project will be a collaboration colleagues at the University of Edinburgh who will be undertaking a parallel series of experimental investigations on this problem which will be key to the successful outcome of the project.

Dunn, G.J., Wilson, S.K., Duffy, B.R., David, S., Sefiane, K. “The strong influence of substrate conductivity on droplet evaporation” J. Fluid Mech. 623 329-351 (2009)

Dunn, G.J., Duffy, B.R., Wilson, S.K., Holland, D. “Quasi-steady spreading of a thin ridge of fluid with temperature-dependent surface tension on a heated or cooled substrate” Q. Jl. Mech. appl. Math. 62 (4) 365-402 (2009)

There is an opportunity to do graduate work with the Strathclyde Combinatorics Group in enumerative combinatorics, algebraic combinatorics and graph theory, some of this with connections to physics and theoretical computer science. More information about the group and its research can be found at http://combinatorics.cis.strath.ac.uk.

If you would like to discuss opportunities to do graduate work in combinatorics then please contact Dr. Anders Claesson at anders.claesson@strath.ac.uk

The MSP group engages in research at the frontier of Mathematics, Physics and Theoretical Computer Science with particular strengths in category theory, type theory, logic, functional programming and quantum computation. Fundamentally, we want to change the world around us and believe we have the mathematical ideas to do so. If you want to help us achieve this, look us up at http://msp.cis.strath.ac.uk.

If you would like to discuss opportunities to do graduate work with the MSP group then please contact Dr. Anders Claesson at anders.claesson@strath.ac.uk