__NOTOC__ Neil D. Jones (born 22 March 1941 in

Centralia, Illinois Centralia is a city in Clinton, Jefferson, Marion, and Washington counties in the U.S. state of Illinois with the largest portion in Marion County. The city is the largest in three of the counties; Clinton, Marion, and Washington, but is not a co ...

, USA) is an American

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

. He is currently Professor

Emeritus ''Emeritus'' (; female: ''emerita'') is an adjective used to designate a retired chair, professor, pastor, bishop, pope, director, president, prime minister, rabbi, emperor, or other person who has been "permitted to retain as an honorary title ...

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

University of Copenhagen The University of Copenhagen ( da, Københavns Universitet, KU) is a prestigious public university, public research university in Copenhagen, Copenhagen, Denmark. Founded in 1479, the University of Copenhagen is the second-oldest university in ...

. His work spans both programming languages and the theory of computation. Within programming languages he is particularly known for his work on

partial evaluation In computing, partial evaluation is a technique for several different types of program optimization by specialization. The most straightforward application is to produce new programs that run faster than the originals while being guaranteed to ...

and for pioneering work within both

data-flow analysis In computing, dataflow is a broad concept, which has various meanings depending on the application and context. In the context of software architecture, data flow relates to stream processing or reactive programming. Software architecture Dataf ...

control-flow analysis In computer science, control-flow analysis (CFA) is a static-code-analysis technique for determining the control flow of a program. The control flow is expressed as a control-flow graph (CFG). For both functional programming languages and object- ...

and

termination analysis In computer science, termination analysis is program analysis which attempts to determine whether the evaluation of a given program halts for ''each'' input. This means to determine whether the input program computes a ''total'' function. It is cl ...

. Within the theory of computation, he was among the pioneers of the study of

Log-space reduction In computational complexity theory, a log-space reduction is a reduction computable by a deterministic Turing machine using logarithmic space. Conceptually, this means it can keep a constant number of pointers into the input, along with a logari ...

s and P-completeness. Neil D. Jones is Knight of the

Order of the Dannebrog The Order of the Dannebrog ( da, Dannebrogordenen) is a Danish order of chivalry instituted in 1671 by Christian V. Until 1808, membership in the order was limited to fifty members of noble or royal rank, who formed a single class known a ...

(since 1998) and also a member of the

Academia Europaea The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europea ...

(since 1999). He is a 1998

Fellow of the Association for Computing Machinery A fellow is a concept whose exact meaning depends on context. In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements. Within the context of higher education ...

for "outstanding contributions to semantics-directed compilation, especially partial evaluation, and to the theory of computation, formal models and their practical realization".

External links

Home page

Selected publications

Neil D. Jones, Carsten K. Gomard, and Peter Sestoft: ''Partial Evaluation and Automatic Program Generation'' (1993)
Book, full text available online.
Neil D. Jones, ''Computability and Complexity from a Programming Perspective'' (1997)
Book, published by MIT Press, online text is a revised and corrected version.

References

{{DEFAULTSORT:Jones, Neil D. Danish knights Fellows of the Association for Computing Machinery Members of Academia Europaea 1941 births Living people