My group's research is in computational applied mathematics, including numerical analysis, mathematical modelling and software. We are interested in taking challenging science or engineering problems and identifying efficient computational strategies to address them. We work with applications scientists in many different areas, as well as computer scientists, high performance computing specialists, and with industry. We use methods from analysis (especially numerical analysis), probability, and statistics in our work. We also incorporate and rely on many concepts from statistical physics and theoretical chemistry. We also develop our own industrial-strength software for various applications, an increasingly demanding part of our work.

Molecular Dynamics. Much of our work has been on the foundations of numerical methods for simulating the dynamics of molecules. We usually assume the that the model can be described in terms of the motions of the nuclei of the system. It turns out that this is the natural starting point in many cases. So essentially we have a large system of atoms, they interact through forces that are described by potential energy functions, and the goal is to figure out how the molecules move and arrange themselves over time. For example, the images below show two conformational states of a certain molecule.

These would represent more or less likely states, and it is important that we observe simulated states with a likelihood that is similar to that with which they would be observed in reality; that is, we would wish to have an accurate approximation of the natural distribution of different states.

In the simplest setting one solves equations defined by Newton's 2nd law (F=MA), but more commonly one has to include additional constraints on the system or make the model relevant for a laboratory environment (where temperature and pressure come into play) or include some additional contributions to the forces from a noisy environment or an auxiliary quantum computation. So things get more complicated, but the basic idea is straightforward: We start with a conformation and approximate the motion after a brief instant, then take another step, and another and so eventually construct a series of snapshots that describe the motion of the system. Ultimately we might be interested in how the molecule arranges itself after a very long time--the so-called "invariant distribution".

As examples of our recent successes in this area, I would highlight the understanding of theoretical foundations and the development of numerical methods for Langevin dynamics. In Langevin dynamics, the Newtonian dynamics model is supplemented by dissipative and random perturbations which capture the interactions with suppressed degrees of freedom or compensate for other limitations of the conservative description. The system of interest is thus a set of stochastic differential equations. We have consider the formulation of the equations of motion, the properties of those equations (e.g. questions of ergodicity), and the design of accurate and efficient numerical discretisation methods. Some of our work in this area is described in the textbook I have written with Charles Matthews (Molecular Dynamics, Springer 2015).

More recent work has generalised the algorithms to constrained systems and systems with memory (generalised Langevin), or looked at the redesign of the stochastic-dynamical model to enhance exploration in the presence of extreme metastability due to energetic or entropic barriers. We also have an important stream of research on mesoscale particle models such as dissipative particle dynamics.

Molecular Dynamics Software. It is also worth mentioning our recent work on molecular dynamics software. In this domain there are some very large consortia which have produced the most important products, such as CHARMM, NAMD, Gromacs, Amber, Lammps. These packages generally involve combined contributions of dozens of authors from different disciplines. Because all classical molecular dynamics models involve compromises (quantum mechanics would be more accurate, but is computationally astronomically expensive due to the 'curse of dimensionality'), a lot of work is put into making the force fields as accurate as possible. This means fitting empirical force field models to functions of the pair distances, coordinates of local triples, etc. It's highly nontrivial. Other substantial work goes into making the codes run fast on the latest hardware, for example GPUs.

When we develop new algorithms, it can take a long time to get them implemented in these codes. There are often development queues and priorities that would delay implementation. So our algorithms languish on the shelf sometimes for many years before finally getting tested, which can be frustrating. For this reason, we have worked with scientists from the Edinburgh Parallel Computing Centre (EPCC) to create a software interface called MIST ("Molecular Integrator Software Tools") that allows us to very easily implement our algorithms. The software interface handles all the communication with various molecular simulation software packages such as NAMD, GROMACS, etc. In this way we can take advantage of the optimisations built into those codes while also having the ability to test our algorithms rapidly on "real-world" problems. MIST is freely available.

Bayesian Models for Data Analysis. We have also been progressively exploring algorithms that can be used for Bayesian parameterisation of complex models. The model can be a neural network or a traditional mathematical model. Let us denote the model by $$\Phi$$ and suppose that it takes input $$X$$ to output $$Y$$, given parameters $$\theta$$:

$Y = \Phi(X,\theta).$

Now in a common setup, one assumes there is stochastic uncertainty in the relationship and so it is natural to consider a model in which the in puts and outputs are interpreted as random variables and the strict equality above is replaced by a statistical model, say

(1)         $$\pi \left (x,y|\theta \right ) = Z^{-1}\exp \left ( \frac{\left [ y-\Phi(x,\theta)\right ]^2}{2\sigma^2} \right )$$.

where, for simplicity, we take $$\sigma$$ fixed. This is just one (elementary) choice for the statistical model, but it will serve for this exposition. Now given a collection of samples (data) $$D=\{(x_{\alpha},y_{\alpha})\}$$, we may ask what is the best choice of the parameter vector $$\theta$$ to fit the given model to the given data. From the Bayesian perspective, the parameters themselves can be viewed as uncertain, with a distribution defined by Bayesian inversion:

$\pi\left (\theta| D \right) \propto \pi(D|\theta)\pi_0(\theta).$

The factors here are all probability densities. $$\pi_0$$ is an assumed prior'' for the parameters which might, for example, restrict the parameters to be taken from a specified finite domain (or it may be Gaussian). The usual choice for the conditional distribution, $$\pi(D|\theta)$$, is based on the likelihood which is defined by the statistical model (1) under the assumption that all the data points are independent:

$\pi(D|\theta) = \prod_{\alpha=1}^{|D|} \pi(x_{\alpha},y_{\alpha}|\theta).$

It is now possible to treat the parameterization problem in various ways. The most usual approach is to optimise the parameters by finding the global maximum of the probability density $$\pi(\theta|D)$$. A more nuanced approach is to embrace the uncertainty in the choice of $$\theta$$ in the Bayesian perspective, and explore, i.e. sample'' the parameter distribution. The distribution is normally multimodal and we may attempt to find a number of the modes or to average the parameter values across the distribution. This is the approach we are currently taking in our data analytics work.

Among the specific problems we have looked at/are looking at in this domain, I would mention the following. First, there is a basic problem in the simple technique I mentioned above in the context of large data sets. Every time we compute a new value of the density (or its gradient, as is often needed), we must compute a product of likelihoods across the entire data set which will be very expensive if $$|D|$$ is large. One way to reduce the computational burden is to replace the full likelihood by an approximation obtained by using a subsampling of the data set. This might just be a small percentage of the full data set, so the properties of the data set, e.g. its concentration, play a critical role in determining when this approach will be successful in practice. Nonetheless it is widely used in the data community, where it goes under the name of "Stochastic Gradients". A very similar problem arises in multiscale modelling, when the forces are computed by some device which perturbs the conservative structure. This gradient noise creates an additional source of noise in the parameterisation process. It turns out that this noise can be neutralised by use of a thermostat'' method, something we studied extensively in the context of chemical/physical modelling. This remains very much an open problem and we are currently exploring it as part of other work we are doing.

Enhancing Sampling. Another important issue is the treatment of multimodality of the probability distribution. In many cases there will be multiple reasonable parameterizations of the model defined by the specific data provided. In such situations it becomes crucial to explore or sample the probability distribution defined by Bayes' formula. This task is computationally demanding since the standard MCMC schemes will get stuck in one or the other localised region of the parameter space. In order to enhance exploration one may use innovative sampling strategies which are very like the schemes we would commonly employ to sample for example the conformations of biological macromolecules. A very promising strategy for this purpose is to employ a collection of coupled 'walkers' to enhanced the exploration by providing a means of rescaling the dynamics to increase exploration, using our so-called ensemble quasinewton preconditioned MCMC scheme. Another exciting possibility is to use multiple temperatures to enhance the exploration, as in our infinite swap simulated tempering scheme. A third intriguing method is based on the diffusion map analysis of simulated data (the data being parameters, in this case). Research in these areas, and on their application to real world applications, is a very active current direction.

1 2D mobile breather scattering in a hexagonal crystal lattice
J. Bajars. C. Eilbeck and B. Leimkuhler, Preprint(2020)  web

2 Efficient Numerical Algorithms for the Generalized Langevin Equation
B. Leimkuhler and M. Sachs, Preprint(2020)  web

3 Simplest random walk for approximating Robin boundary value problems and ergodic limits of reflected diffusions
B Leimkuhler, A Sharma, MV Tretyakov, Preprint(2020)  web

4 Constraint-Based Regularization of Neural Networks
B Leimkuhler, T Pouchon, T Vlaar, A Storkey,
12 Annual Workshop on Optimization for Machine Learning (NEURIPS OPT2020), Preprint(2020)  web

5 Posterior sampling strategies based on discretized stochastic differential equations for machine learning applications
F. Heber, Z. Trstanova, and B. Leimkuhler,
Journal of Machine Learning Research, 21: Preprint(2020)  pdf  web

6 Partitioned integrators for thermodynamic parameterization of neural networks
Benedict Leimkuhler, Charles Matthews, Tiffany Vlaar,
Foundations of Data Science, 1: 457-489, 2019  journal  pdf  web

7 Hypocoercivity properties of adaptive Langevin dynamics
Benedict Leimkuhler, Matthias Sachs, and Gabriel Stoltz,
SIAM Journal on Applied Mathematics, 80: 1197-1222, 2019  journal  web

8 Transferability of Operational Status Classification Models Among Different Wind Turbine Types
Z. Trstanova, A. Martinsson, C. Matthews, S. Jimenez, B. Leimkuhler, T. Van Delft, and M. Wilkinson,
Journal of Physics: Conference Series, 1222: 12041, 2019  journal  web

9 Local and Global Perspectives on Diffusion Maps in the Analysis of Molecular Systems
Z. Trstanova, B. Leimkuhler and T. Lelievre,
Proceedings of the Royal Society A, 476: 20190036, 2019  journal  pdf  web

10 MIST: A Simple and Efficient Molecular Dynamics Abstraction Library for Integrator Development
I. Bethune et al,
Computer Physics Communications, , 2018  journal  pdf  web

11 Ergodic properties of quasi-Markovian generalized Langevin equations with configuration dependent noise
M. Sachs and B. Leimkuhler,
Stochastic Dynamics Out of Equilibrium (IHPStochDyn 2017), Springer, 282: , 2019  journal  web

12 Quantifying configuration-sampling error in Langevin simulations of complex molecular systems
J Fass, D Sivak, GE Crooks, KA Beauchamp, B Leimkuhler, and J Chodera,
Entropy, 20: 318, 2018  journal  web

13 Simulated Tempering Method in the Infinite Switch Limit with Adaptive Weight Learning
A. Martinsson, J. Lu, B. Leimkuhler and E. Vanden-Eijnden,
Journal of Statistical Mechanics: Theory and Experiment, 2019: 13207, 2019  journal  web

14 Assessing numerical methods for molecular and particle simulation
X. Shang, M. Kroger and B. Leimkuhler,
Soft Matter, 13: 8565-8578, 2017  journal  pdf

15 Langevin Dynamics with Variable Coefficients and Nonconservative Forces: From Stationary States to Numerical Methods
M. Sachs, B. Leimkuhler, and V. Danos,
Entropy, 19: 647-667, 2017  journal  pdf

16 Ensemble preconditioning for Markov chain Monte Carlo simulation
C. Matthews, J. Weare, B. Leimkuhler,
Statistics and Computing, 28: 277-290, 2018  journal  pdf

17 Observation-based correction of dynamical models using thermostats
K. Myerscough, J. Frank, and B. Leimkuhler,
Proceedings of the Royal Society A, 473: 20160730, 2017  journal  pdf

18 Pairwise adaptive thermostats for improved accuracy and stability in dissipative particle dynamics
B. Leimkuhler and X. Shang,
Journal of Computational Physics, 324: 174-193, 2016  journal  web

19 Efficient molecular dynamics using geodesic integration and solvent-solute splitting
B. Leimkuhler and C. Matthews,
Proceedings of the Royal Society A, 472: 20160138, 2016  journal  pdf  web

20 A stochastic algorithm for the isobaric-isothermal ensemble with Ewald summations for all long range forces
M. Di Pierro, R. Elber,and B. Leimkuhler,
Journal of Chemical Theory and Compuitation, to appear: 5624-5637, 2015  journal  web

21 Covariance-controlled adaptive Langevin thermostat for large-scale Bayesian sampling
X. Shang, Z. Zhu, B. Leimkuhler and A. Storkey,
Advances in Neural Information Processing Systems (NIPS 2015), 28: Preprint(2015)  web

22 Extended Hamiltonian approach to continuous tempering
G. Gobbo and B. Leimkuhler,
Phys Rev E, 91: 61301, 2015  journal  web

B. Leimkuhler and X. Shang,
SIAM Journal on Scientific Computing, 38: Preprint(2015)  web

24 Direct control of the small-scale energy balance in 2D fluid dynamics
J. Frank, B. Leimkuhler and K. Myerscough,
Journal of Fluid Mechanics, 782: 240-259, 2015  journal  web

25 The Adaptive Buffered Force QM/MM method in the CP2K and Amber software packages
L. Mones, A. Jones, A. Götz, T. Laino, R. Walker, B. Leimkuhler, G. Csànyi, and N. Bernstein,
Journal of Computational Chemistry, 36: 633-648, 2015  journal  web

26 Numerical simulations of nonlinear modes in mica: past, present and future
J. Bajars, C. Eilbeck and B. Leimkuhler,
in Quodons in Mica: Nonlinear Localized Travelling Excitations in Crystals; Springer Series in Materials Science Vol 221, 35-67, 2015  journal  web

27 Nonlinear propagating localized modes in a 2D hexagonal crystal lattice
J. Bajars, C. Eilbeck and B. Leimkuhler,
Physica D, 301-302: 8-20, 2015  journal  web

28 On the numerical treatment of dissipative particle dynamics and related systems
B. Leimkuhler and X. Shang,
Journal of Computational Physics, 280: 72-95, 2015  journal  web

29 On the long-time integration of stochastic gradient systems
B. Leimkuhler, C. Matthews and M. Tretyakov,
Proceedings of the Royal Society A, 470: 20140120, 2014  journal  pdf  web

30 The computation of averages from equilibrium and nonequilibrium Langevin molecular dynamics
B. Leimkuhler, C. Matthews and G. Stoltz,
IMA Journal on Numerical Analysis, , 2015  journal  pdf  web

31 Robust and efficient configurational molecular sampling via Langevin Dynamics
B. Leimkuhler and C. Matthews,
Journal of Chemical Physics, 138: 174102, 2013  journal  pdf  web

32 Stochastic resonance-free multiple time-step algorithm for molecular dynamics with very large time steps
B. Leimkuhler, D. Margul and M. Tuckerman,
Molecular Physics, 111: 3579-3594, 2013  journal  pdf  web

33 Weakly coupled heat bath models for Gibbs-like invariant states in nonlinear wave equations
J. Bajars, J. Frank and B. Leimkuhler,
Nonlinearity, 26: 1945-1973, 2013  journal  pdf

34 Rational construction of stochastic numerical methods for molecular sampling
B. Leimkuhler and C. Matthews,
Applied Mathematics Research Express, 2013: 34-56, 2013  journal  pdf  web

35 Comparing the efficiencies of stochastic isothermal molecular dynamics methods
B. Leimkuhler, E. Noorizadeh and O. Penrose,
Journal of Statistical Physics, 143: 921-942, 2011  journal  pdf

36 Adaptive stochastic methods for sampling driven molecular systems
A. Jones and B. Leimkuhler,
Journal of Chemical Physics, 135: 84125, 2011  journal

37 Dimensional reductions for the computation of time-dependent quantum expectations
B. Leimkuhler and G. Mazzi,
SIAM Journal on Scientific Computing, 33: 2024-2038, 2011  journal

38 Stochastic-dynamical thermostats for constraints and stiff restraints
J. Bajars, J. Frank and B. Leimkuhler,
The European Physical Journal, 200: 131-152, 2011  journal  pdf

39 Simplified modelling of a thermal bath, with application to a fluid vortex system
S. Dubinkina, J. Frank, and B. Leimkuhler,
SIAM Multiscale Modelling and Simulation, 8: 1882-1901, 2010  journal  pdf

40 Generalized Bulgac-Kusnezov methods for sampling of the Gibbs-Boltzmann measure
B. Leimkuhler,
Physical Review E, 81: 26703, 2010  journal  pdf

41 A gentle stochastic thermostat for molecular dynamics
B. Leimkuhler, E. Noorizadeh and F. Theil,
Journal of Statistical Physics, 135: 261-277, 2009  journal  pdf

B. Leimkuhler and S. Reich,
ESAIM:Mathematical modelling and numerical analysis, 43: 743-755, 2009  journal  pdf

43 A temperature control technique for nonequilibrium molecular simulation
B. Leimkuhler, F. Legoll and E. Noorizadeh,
Journal of Chemical Physics, 128: 74105, 2008  journal  pdf

44 Molecular dynamics and the accuracy of numerically computed averages
S. Bond and B. Leimkuhler,
Acta Numerica, 16: 1-65, 2007  journal  pdf

45 Stabilized integration of Hamiltonian systems with hard-sphere inequality constraints
S. Bond and B. Leimkuhler,
SIAM Journal on Scientific Computing, 30: 134-147, 2007  journal  pdf

46 Molecular simulation in the canonical ensemble and beyond
Z. Jia and B. Leimkuhler,
ESAIM:Mathematical modelling and numerical analysis, 41: 333-350, 2007  journal

47 Rapid thermal equilibration of coarse-grained molecular dynamics
S. Gill, Z. Jia, B. Leimkuhler and A. Cocks,
Physical Review B, 73: 184304, 2006  journal  pdf

48 Geometric integrators for multiple timescale simulation
Z. Jia and B. Leimkuhler,
Journal of Physics A, 39: 5379-5403, 2006  journal

49 Approach to thermal equilibrium in biomolecular simulation
E. Barth, B. Leimkuhler, and C. Sweet,
New Algorithms for Macromolecular Simulation (Springer Lecture Notes in Computational Science and Engineering), 49: 125-140, 2006  journal  pdf

50 A projective thermostatting technique
Z. Jia and B. Leimkuhler,
SIAM Multiscale Modelling and Simulation, 4: 563-583, 2005  journal  pdf

51 A Hamiltonian formulation for recursive multiple thermostats in a common timescale
B. Leimkuhler and C. Sweet,
SIAM Journal on Applied Dynamical Systems, 4: 187-216, 2005  journal  pdf

52 An efficient geometric integrator for thermostatted anti-/ferromagnetic Models
T. Arponen and B. Leimkuhler,
BIT Numerical Mathematics, 44: 403-424, 2004  journal  pdf

53 The canonical ensemble via symplectic integration using Nose and Nose-Poincare chains
B. Leimkuhler and C. Sweet,
Journal of Chemical Physics, 121: 108-117, 2004  journal  pdf

54 A parallel multiple time-scale reversible integrator for dynamics simulation
Z. Jia and B. Leimkuhler,
Future Generation Computer Systems, 19: 415-424, 2003  journal  pdf

55 Generating generalized distributions from dynamical simulation
E. Barth, B. Laird and B. Leimkuhler,
Journal of Chemical Physics, 118: 5759-5769, 2003  journal  pdf

56 Generalized dynamical thermostatting technique
B. Laird and B. Leimkuhler,
Physical Review E 68, 016704 (2003), 68: 16704, 2003  journal  pdf

57 On the approximation of Feynman-Kac path integrals
S. Bond, B. Laird, and B. Leimkuhler,
Journal of Computational Physics, 185: 472-483, 2003  journal  pdf

58 An efficient multiple time-scale reversible integrator for the gravitational N-body problem
B. Leimkuhler,
Applied Numerical Mathematics, 43: 175-190, 2002  journal  pdf

59 A separated form of Nosé dynamics for constant temperature and pressure simulation
B. Leimkuhler,
Computer Physics Communications, 148: 206-213, 2002  journal  pdf

60 A test set for molecular dynamics
E. Barth, B. Leimkuhler, and S. Reich,
Lecture Notes in Computational Science and Engineering, 24: 73-103, 2002  journal  pdf

61 A reversible averaging integrator for multiple timescale dynamics
B. Leimkuhler and S. Reich,
Journal of Computational Physics, 171: 95-114, 2001  journal  pdf

62 Explicit, time-reversible and variable stepsize integration
T. Holder, B. Leimkuhler, and S. Reich,
Applied Numerical Mathematics, 39: 367-377, 2001  journal  pdf

C. Budd, B. Leimkuhler and M. Piggott,
Applied Numerical Mathematics, 39: 261-288, 2001  journal  pdf

64 Molecular dynamics algorithms for mixed hard-core/continuous potentials
Y. Houndonougbo, B. Laird, and B. Leimkuhler,
Journal of Molecular Physics, 98: 309-316, 2000  journal  pdf

65 A time-reversible, regularized, switching integrator for the N-body problem
A. Kvaerno and B. Leimkuhler,
SIAM Journal on Scientific Computing, 22: 1016-1035, 2000  journal  pdf

66 Geometric integrators based on scaling and switching
B. Leimkuhler,
Proceedings of the Equadiff Conference (Berlin, 1999), World Scientific, Preprint(2000)  pdf

67 A Semi-explicit, variable-stepsize integrator for constrained dynamics
E. Barth, B. Leimkuhler, and S. Reich,
SIAM Journal on Scientific Computing, 21: 1027-1044, 1999  journal  pdf

68 Reversible adaptive regularization: perturbed Kepler motion and classical atomic trajectories
B. Leimkuhler,
Philosophical Transactions of the Royal Society of London A, 357: 1101-1134, 1999  journal  pdf

69 Reversible adaptive regularization methods for atomic N-body problems in applied fields
B. Leimkuhler,
Applied Numerical Mathematics, 29: 31-43, 1999  journal  pdf

70 Asymptotic error analysis of the Adaptive Verlet method
S. Cirilli, E. Hairer and B. Leimkuhler,
BIT Numerical Mathematics, 39: 25-33, 1999  journal  pdf

71 The Nose-Poincare method for constant temperature molecular dynamics
S. Bond, B. Leimkuhler and B. Laird,
Journal of Computational Physics, 151: 114-134, 1999  journal  pdf

72 Timestep acceleration of waveform relaxation
B. Leimkuhler,
SIAM Journal on Numerical Analysis, 35: 31-50, 1998  journal  pdf

73 Symplectic methods for rigid body dynamics
B. Leimkuhler,
in Computational Molecular Dynamics: Challenges, Methods, Ideas, Springer Lecture Notes in Computational Science and Engineering, 4: , 1998  journal

74 Time transformations for reversible variable stepsize integration
S. Bond and B. Leimkuhler,
Numerical Algorithms, 19: 55-71, 1998  journal

W. Huang and B. Leimkuhler,
SIAM Journal on Scientific Computing, 18: 239-256, 1997  journal  pdf

76 Geometric integrators for classical spin systems
J. Frank, W. Huang and B. Leimkuhler,
Journal of Computational Physics, 133: 160-172, 1997  journal  pdf

77 Split-Hamiltonian methods for rigid body molecular dynamics
A. Dullweber, B. Leimkuhler and R. McLachlan,
Journal of Chemical Physics, 107: 5840-5851, 1997  journal  pdf

78 A symplectic method for rigid-body molecular simulation
A. Kol, B. Laird and B. Leimkuhler,
Journal of Chemical Physics , 107: 2580–2588, 1997  journal

79 Integration Methods for Molecular Dynamics
B. Leimkuhler, S. Reich and R.D. Skeel,
in IMA Volumes in Mathematics and Its Applications, Springer-Verlag, 82: , 1997  journal

80 A symplectic integrator for Riemannian manifolds
B. Leimkuhler and G. Patrick,
Journal of Nonlinear Science, 6: 367-384, 1996  journal  pdf

81 Orthosymplectic integration of linear Hamiltonian systems
B. Leimkuhler and E. Van Vleck,
Numerische Mathematik, 77: 269-282, 1996  journal  pdf

82 Symplectic Methods for Conservative Multibody Systems
E. Barth and B. Leimkuhler,
Communications of the Fields Institute , 10: 25-43, 1996  journal

83 Algorithms for constrained molecular dynamics
E. Barth, K. Kuczera, B. Leimkuhler and R. Skeel,
Journal of Computational Chemistry, 16: 1192-1209, 1995  journal  pdf

84 Symplectic integration of constrained Hamiltonian systems
B. Leimkuhler and S. Reich,
Mathematics of Computation, 63: 589-605, 1994  journal  pdf

85 Symplectic numerical integrators in constrained Hamiltonian systems
B. Leimkuhler and R. Skeel,
Journal of Computational Physics, 112: 117-125, 1994  journal  pdf

86 Estimating waveform relaxation convergence
B. Leimkuhler,
SIAM Journal on Scientific Computing, 14: 872-889, 1993  journal  pdf

87 Relaxation Techniques in Multibody Dynamics
B. Leimkuhler,
Transactions of the Canadian Society of Mechanical Engineering, 17: 459-471, 1993  journal

88 Rapid Convergence of Waveform Relaxation
B. Leimkuhler and A. Ruehli,
Applied Numerical Mathematics, 11: 211-224, 1993  journal

89 Dynamic Iteration Schemes for Differential-Algebraic Equations in Large Scale Circuit Simulation
B. Leimkuhler,
Proceedings of the Conference on Computational Ordinary Differential Equations(London, 1990), IMA, 39: Preprint(1992)

90 Waveform Relaxation for Linear RC-Circuits
B. Leimkuhler, U. Miekkala and O.Nevanlinna,
IMPACT of Computing in Science and Engineering, 3: 123-145, 1991  journal

91 Differentiation of Constraints in Differential-Algebraic Equations
S.L. Campbell and B. Leimkuhler,
Mechanics of Structures and Machines, 19: 19-39, 1991  journal

92 Numerical solution of differential-algebraic equations for constrained mechanical motion
C. Fuehrer and B. Leimkuhler,
Numerische Mathematik, 59: 55-69, 1991  journal  pdf

93 Formulation and Numerical Solution of the Equations of Constrained Mechanical Motion
C. Fuehrer and B. Leimkuhler,
Proceedings of NUMDIFF-5 (Halle, 1989), Teubner- Texte in Mathematics, 121: , 1991  journal

94 Approximation Methods for the Consistent Initialization of Differential Algebraic Equations
B. Leimkuhler, L.R.Petzold and C.W. Gear,,
SIAM Journal on Numerical Analysis, 28: 205-226, 1991  journal

95 A New Class of Generalized Inverses for Discretized Euler-Lagrange Equations
C. Fuehrer and B. Leimkuhler,
in NATO Advanced Research Workshop on Real-Time Integration Methods for Mechanical System Simulation, Springer, , 1990  journal

96 Automatic integration of Euler-Lagrange equations with constraints
C.W. Gear, B. Leimkuhler, G.K. Gupta,
Journal of Computational and Applied Mathematics, 12-13: 77-90, 1985  journal  pdf

Simulating Hamiltonian Dynamics
B. Leimkuhler and S. Reich,
Cambridge University Press, 2005
publisher
Geometric integrators are time-stepping methods, designed such that they exactly satisfy conservation laws, symmetries or symplectic properties of a system of differential equations. In this book the authors outline the principles of geometric integration and demonstrate how they can be applied to provide efficient numerical methods for simulating conservative models. Beginning from basic principles and continuing with discussions regarding the advantageous properties of such schemes, the book introduces methods for the N-body problem, systems with holonomic constraints, and rigid bodies. More advanced topics treated include high-order and variable stepsize methods, schemes for treating problems involving multiple time-scales, and applications to molecular dynamics and partial differential equations. The emphasis is on providing a unified theoretical framework as well as a practical guide for users. The inclusion of examples, background material and exercises enhance the usefulness of the book for self-instruction or as a text for a graduate course on the subject.
• Thorough treatment of a relatively new subject, covers theory, applications and also gives practical advice on implementing the techniques • Emphasis on 'efficient' numerical methods • Large number of examples and exercises.
Contents
1. Introduction; 2. Numerical methods; 3. Hamiltonian mechanics; 4. Geometric integrators; 5. The modified equations; 6. Higher order methods; 7. Contained mechanical systems; 8. Rigid Body dynamics; 9. Adaptive geometric integrators; 10. Highly oscillatory problems; 11. Molecular dynamics; 12. Hamiltonian PDEs.

Molecular Dynamics
B. Leimkuhler and C. Matthews,
Springer Verlag, 2015
publisher
This book describes the mathematical underpinnings of algorithms used for molecular dynamics simulation, including both deterministic and stochastic numerical methods. Molecular dynamics is one of the most versatile and powerful methods of modern computational science and engineering and is used widely in chemistry, physics, materials science and biology. Understanding the foundations of numerical methods means knowing how to select the best one for a given problem (from the wide range of techniques on offer) and how to create new, efficient methods to address particular challenges as they arise in complex applications. Aimed at a broad audience, this book presents the basic theory of Hamiltonian mechanics and stochastic differential equations, as well as topics including symplectic numerical methods, the handling of constraints and rigid bodies, the efficient treatment of Langevin dynamics, thermostats to control the molecular ensemble, multiple time-stepping, and the dissipative particle dynamics method.
Contents
1. Introduction; 2. Numerical integrators; 3. Analyzing geometric integrators; 4. The stability threshold; 5. Phase space distributions and microcanonical averages; 6. The canonical distribution and stochastic differential equations; 7. Numerical methods for stochastic differential equations; 8. Extended variable methods.

TATi: The Thermodynamic Analytics ToolkIt,
TATi stands for "Thermodynamic Analytics Toolkit". It is a state-of-the-art python software suite for examination of loss landscapes of neural networks, based on tensorflow’s Python API. It brings advanced sampling methods to neural network training. Its tools allow to explore the loss manifold which is a function of the employed neural network and the dataset. The simulation module makes applying sampling Python codes in the context of neural networks easy and straight-forward. The goal of the software is to enable the user to analyze and adapt the network employed for a specific classification problem to best fit her or his needs. TATi has received financial support from a seed funding grant and through a Rutherford fellowship from the Alan Turing Institute in London (R-SIS-003, R-RUT-001) and EPSRC grant no. EP/P006175/1 (Data Driven Coarse Graining using Space-Time Diffusion Maps, B. Leimkuhler PI). For a discussion of TATi refer to the Arxiv article at https://arxiv.org/abs/1903.08640, F. Heber, Z. Trstanova, B. Leimkuhler  link

MIST: The Molecular Integration Simulation Toolkit,
MIST is the the Molecular Integration Simulation Toolkit, a lightweight and efficient software library written in C++ which provides an abstract interface to common molecular dynamics codes, enabling rapid and portable development of new integration schemes for molecular dynamics. The initial release provides plug-in interfaces to NAMD-Lite, GROMACS and Amber, and includes several standard integration schemes, a constraint solver, tem- perature control using Langevin Dynamics, and two tempering schemes. The architecture and functionality of the library is meant to be highly flexible and includes C and Fortran APIs which can be used to interface additional MD codes to MIST. We have shown, for a range of test systems, that MIST introduces negligible overheads for serial, shared-memory parallel, and GPU-accelerated cases, except for Amber where the native integrators run directly on the GPU itself. It has been applied to implement simulated tempering algorithms and been used to study the free energy landscapes of biomolecules in both vacuum and detailed solvent conditions. A research article describing MIST is available: https://www.sciencedirect.com/science/article/pii/S0010465518303540?via%3Dihu, I. Bethune, R. Banisch, E. Breitmoser, A.B.K.Collis, G. Gibb, G. Gobbo, C. Matthews, G.J.Ackland, and B.J. Leimkuhler  link

MDdotM: Molecular Dynamics in Matlab,
This is a small software package for MATLAB, designed to teach students about MD in a familiar and easy-to-use setting.  HTML documentation is included in the folder. (After unzipping, find and load the file MDdotM/Doc/MDdotM.html in your web browser.), B. Leimkuhler and C. Matthews  link

ThermoML,
C++ and QT tool for studying machine learning algorithms, B Leimkuhler  link

As soon as I get one, I promise to post it here.

My research group is based in the School of Mathematics at the University of Edinburgh. We combine expertise in dynamics, classical, quantum and statistical mechanics with advanced scientific computing techniques to develop forefront simulation methodology for applications such as molecular dynamics. We also have a growing interesting in understanding, using and improving techniques from statistics and machine learning, both for applications in molecular simulation and for a wider range of problems in big and small data science.

Current Group Members:

• Katerina Karoni, MAC-MIGS PhD Student (with B. Goddard)
• Rene Lohmann, MAC-MIGS PhD Student (with A. Storkey)
• Tiffany Vlaar, MIGSAA PhD Student
• Timothee Pouchon , Visiting Fellow (Swiss Government/EPFL)

Recent Group Members

I typically work with a small group of PhD students. The University of Edinburgh has been fortunate to have funding from several UK-funded Centres for Doctoral Training which provide the best mechanism for PhD support. Currently, I am eligible to supervise students in the following two CDTs that are accepting many students each year: The latter two have just been established in 2019, each 10-15 student places per year.