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 the parameters $\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 Partitioned integrators for thermodynamic parameterization of neural networks
Benedict Leimkuhler, Charles Matthews, Tiffany Vlaar, Preprint(2019)  web 

2 Hypocoercivity properties of adaptive Langevin dynamics
Benedict Leimkuhler, Matthias Sachs, and Gabriel Stoltz, Preprint(2019)  web 

3 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 

4 TATi-Thermodynamic Analytics ToolkIt: TensorFlow-based software for posterior sampling in machine learning applications
F. Heber, Z. Trstanova, and B. Leimkuhler, Preprint(2019)  web 

5 Local and Global Perspectives on Diffusion Maps in the Analysis of Molecular Systems
Z. Trstanova, B. Leimkuhler and T. Lelievre, Preprint(2019)  pdf  web 

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

7 Ergodic properties of quasi-Markovian generalized Langevin equations with configuration dependent noise
M. Sachs and B. Leimkuhler, Preprint(2018)  web 

8 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 

9 Simulated Tempering Method in the Infinite Switch Limit with Adaptive Weight Learning
A. Martinsson, J. Lu, B. Leimkuhler and E. Vanden-Eijnden, Preprint(2018)  web 

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

11 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

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

13 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

14 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  web 

15 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 

16 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 

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

18 Adaptive Thermostats for Noisy Gradient Systems
B. Leimkuhler and X. Shang,
SIAM Journal on Scientific Computing, 38: Preprint(2015)  web 

19 Least-biased correction of extended dynamical systems using observational data
K. Myerscough, J. Frank, and B. Leimkuhler, Preprint(2014)  web 

20 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 

21 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 

22 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 

23 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 

24 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 

25 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  web 

26 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 

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

28 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 

29 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 

30 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 

31 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 

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

33 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

34 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 

35 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 

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

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

38 A Metropolis-adjusted Nose-Hoover thermostat
B. Leimkuhler and S. Reich,
ESAIM:Mathematical modelling and numerical analysis, 43: 743-755, 2009  journal  pdf 

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

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

41 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 

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

43 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 

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

45 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 

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

47 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 

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

49 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 

50 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 

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

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

53 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 

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

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

56 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 

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

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

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

60 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 

61 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 

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

63 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 

64 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 

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

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

67 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 

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

69 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

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

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

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

73 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 

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

75 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

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

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

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

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

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

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

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

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

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

85 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)

86 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

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

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

89 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

90 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

91 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

92 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 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,
Authors: F. Heber, Z. Trstanova, B. Leimkuhler
Link:  https://pypi.org/project/tati/

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,
Authors: I. Bethune, R. Banisch, E. Breitmoser, A.B.K.Collis, G. Gibb, G. Gobbo, C. Matthews, G.J.Ackland, and B.J. Leimkuhler
Link:  https://bitbucket.org/extasy-project/mist/wiki/Home

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.),
Authors: B. Leimkuhler and C. Matthews
Link:  http://kac.maths.ed.ac.uk/pub/MDdotM.zip

C++ and QT tool for studying machine learning algorithms,
Authors: B Leimkuhler
Link:  http://kac.maths.ed.ac.uk/ThermoML

 
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:

Recent Group Members

Molecular modelling and simulation: celebrating 50 years CECAMCECAM, Lausanne9.9.2019
Berlin Mathematical School Summer School 2019: Mathematics of Deep LearningBMS, Berlin19.8.2019
Generalized Langevin equations in classical and quantum simulationsBernoulli Institute (CIB), Lausanne4.6.2019
Computational mathematics for model reduction and predictive modelling in molecular and complex systemsBernoulli Institute (CIB) &CECAM, Lausanne1.5.2019
Stochastic dynamics on large networks: prediction and inferenceMax Planck Institute (Dresden)15.10.2018
Large scale activated event simulationsErwin Schroedinger Institute1.10.2018
Royal Society Theo Murphy Conference on Multiresolution Simulations of Intracellular ProcessesChicheley Hall (Royal Society)24.9.2018
Applied Math Summer SchoolPeking University23.7.2018
i-Like ConferenceNewcastle20.6.2018
Data driven modelling of complex systems ATI-London8.5.2018
Symposium on Data-driven Methods in Molecular Simulations of Soft-Matter Systems (SYMS) EPS-DPG Joint Conference Berlin11.3.2018
Methods for particle systems with multiple scalesWIAS/Berlin29.5.2017
Stochastic dynamics out of equilibriumCRM/Marseille3.4.2017
Numerical aspects of nonequilibrium dynamicsIHP/Paris25.4.2017
New trends in Mathematical Physics at the interface of Analysis and ProbabilityUniversity College London15.2.2017
GLE2017 (Generalized Langevin Equation)Kings College, London12.1.2017
Collective variables in classical mechanicsIPAM/UCLA24.10.2016
Multiscale Simulation Methods in Soft Matter Systems IICECAM/TU Darmstadt4.10.2016
Stochastic numerical algorithms, multiscale modeling and high-dimensional data analyticsICERM/Brown University18.7.2016
Big data for the physical sciencesTuring Institute/London13.1.2016
Data Intensive and Extreme Scale Numerical SimulationTuring Institute/London5.1.2016
Stochastic Dynamical Systems in BiologyNewton Institute/Cambridge4.1.2016
Challenges in Stat MechImperial College7.12.2015
Predictive Multiscale MaterialsCambridge (Turing Gateway)1.12.2015
Probabilistic NumericsTuring Institute/London19.11.2015
Evolution EquationsMaxwell Institute/Edinburgh16.9.2015
International Conference on Industrial and Applied Mathematics (ICIAM)Beijing10.8.2015
Mathematics in Data ScienceICERM/Brown University28.7.2015
Free Energy CalculationsBanff/Oaxaca19.7.2015
Mathematical Methods in Quantum Molecular DynamicsOberwolfach31.5.2015
Nosé Dynamics 30 YearsTokyo10.11.2014
Advances in Enhanced Sampling MethodsTelluride, Colorado1.7.2014
Searching for Reaction Coordinates and Order ParametersTelluride, Colorado7.7.2014
Multiscale computational methods in materials modellingEdinburgh18.6.2014
Computational methods for statistical mechanicsICMS/Edinburgh2.6.2014
Symposium on Statistical Mechanics: Computational coarse-graining of many-body systemsWarwick9.12.2013
Complex Molecular SystemsLorentz Centre/Leiden13.8.2013
 
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 four CDTs: The latter two have just been established in 2019, each 10-15 student places per year.