Description: Theory and application of discrete mathematics structures and their relationship to computer science. Topics include mathematical logic, sets, relations, functions, permutations, ...

Research areas: Computational Mechanics, Finite Element Method, Mesh-free Methods, Extended Finite Element Method, Multi-scale Analysis, Nonlinear Structural Mechanics, Thin-walled and Composite ...

Matthew Addicoat receives funding from EPSRC and the Royal Society. Using computers to carry out protein design and for predicting protein structures are two sides of the same coin. They are ...

Description: Finite and discrete mathematical structures relating to the theory of computers. Directed and undirected graphs and their relation to these structures. Combinatorial problems inherent in ...