Mark J. Hadley

Learn More
The effectiveness of probabilistic structural testing depends on the characteristics of the probability distribution from which test inputs are sampled at random. Metaheuristic search has been shown to be a practical method of optimising the characteristics of such distributions. However, the applicability of the existing search-based algorithm is limited(More)
Contrary to established beliefs, spacetime may not be time-orientable. By considering an experimental test of time orientability it is shown that a failure of time-orientability of a spacetime region would be indistinguishable from a particle antiparticle annihilation event.
A new class of electrically charged wormholes is described in which the outer two sphere is not spanned by a compact coorientable hypersurface. These wormholes can therefore display net electric charge from the source free Maxwell's equation. This extends the work of Sorkin on non-space orientable manifolds, to spacetimes which do not admit a time(More)
Classical particle-like solutions of field equations such as general relativity, could account for dark matter. Such particles would not interact quantum mechanically and would have negligible interactions apart from gravitation. As a relic from the big bang, they would be a candidate for cold dark matter consistent with observations.
There is a deep structural link between acausal spacetimes and quantum theory. As a consequence quantum theory may resolve some " paradoxes " of time travel. Conversely, non-time-orientable spacetimes naturally give rise to electric charges and spin half. If an explanation of quantum theory is possible, then general relativity with time travel could be it.