__NOTOC__ Neil Deaton Jones (22 March 1941

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 counties, Clinton, Marion, and Washington, but it is not a ...

, USA - 27 March 2023,

Rungsted Rungsted, also known as ''Rungsted Kyst'', is an affluent suburban neighborhood in Hørsholm Municipality on the Øresund coast north of Copenhagen, Denmark. The center of Hørsholm is located two kilometers west of Rungsted. At the Øresund coast ...

Denmark Denmark is a Nordic countries, Nordic country in Northern Europe. It is the metropole and most populous constituent of the Kingdom of Denmark,, . also known as the Danish Realm, a constitutionally unitary state that includes the Autonomous a ...

) was an American

computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...

. He was a Professor

Emeritus ''Emeritus/Emerita'' () is an honorary title granted to someone who retires from a position of distinction, most commonly an academic faculty position, but is allowed to continue using the previous title, as in "professor emeritus". In some c ...

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

University of Copenhagen The University of Copenhagen (, KU) is a public university, public research university in Copenhagen, Copenhagen, Denmark. Founded in 1479, the University of Copenhagen is the second-oldest university in Scandinavia, after Uppsala University. ...

. His work spanned both programming languages and the theory of computation. Within programming languages he was 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 Data-flow analysis is a technique for gathering information about the possible set of values calculated at various points in a computer program. It forms the foundation for a wide variety of compiler optimizations and program verification techn ...

control-flow analysis In computer science, control-flow analysis (CFA) is a static code analysis, 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 ...

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 ...

. 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 (complexity), reduction computable by a deterministic Turing machine using logarithmic space. Conceptually, this means it can keep a constant number of Pointer (computer progr ...

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

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

(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 Europe ...

(since 1999). He was a 1998

Fellow of the Association for Computing Machinery A fellow is a title and form of address for distinguished, learned, or skilled individuals in academia, medicine, research, and industry. The exact meaning of the term differs in each field. In learned or professional societies, the term refers ...

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

External links

*
Biographical information

Selected publications

* * * Full text available online. * * *

References

{{DEFAULTSORT:Jones, Neil D. Danish knights 1998 fellows of the Association for Computing Machinery Members of Academia Europaea 1941 births 2023 deaths