Neil D. Jones

Slides for ESSLLI Evening Lecture (as of 12 August, 2010)


Recent and ongoing research work

Remark: There may exist dead links to publications in the Topps Bibliography (the systems people keep moving things around). Last resort: many of the papers can be straightforwardly found via ToppsBib. (LINKS WORKED ON AGAIN: 17 February 2012; more papers will soon be added).

Programming in Biomolecular Computation:

Programming in Biomolecular Computation; (CS2BIO 2010, with Lars Hartmann and Jakob Grue Simonsen). In spite of widespread discussion about connections between biology and computation, one question is notable by the absence of an answer: where are the programs? A new "blob" model of computation is presented that is programmable, and at the same time biologically plausible, stored-program, and universal. It is Turing complete in that a universal algorithm (i.e., a self-interpreter) exists, able to execute any program, and not asymptotically inefficient.

Paper [5] is a revised and extended journal version. Paper [7] examines this area in greater depth and with more extensive connections with computational biology. Paper [10] (accepted and to appear in journal form in 2012) examines the blob model of computation in relation to other models that have appeared since Alan Turing's 1936 paper.


Program transformation:

The Spectrum problem:

Partial evaluation:

Running time-related:

CTL and program transformation:

Downloadable papers

List of downloadable papers

Odds and Ends:


Neil D. Jones ( ) Last revised: 3 September, 2011.

HTML 3.2 Checked!