Neil D. Jones

Neil D. Jones
Born 22 March 1941 (1941-03-22) (age 77)
Centralia, Illinois, United States
Residence Denmark
Nationality American
Citizenship Danish (since 1991)
Alma mater University of Western Ontario
Known for Partial evaluation, control-flow analysis, size-change termination
Awards Order of the Dannebrog (1998); SIGPLAN Programming Languages Achievement Award (2014)
Scientific career
Fields Computer science
Institutions University of Copenhagen
University of Aarhus
University of Kansas
Pennsylvania State University
University of Western Ontario
Doctoral advisor Arto Salomaa

Neil D. Jones (born 22 March 1941 in Centralia, Illinois, USA) is an American computer scientist. He is currently Professor Emeritus in computer science at University of Copenhagen.

His work spans both programming languages and the theory of computation. Within programming languages he is particularly known for his work on partial evaluation and for pioneering work within both data-flow analysis, control-flow analysis[1] and termination analysis.[2] Within the theory of computation, he was among the pioneers of the study of Log-space reductions and P-completeness.[3]

Neil D. Jones is Knight of the Order of the Dannebrog (since 1998) and also a member of the Academia Europaea (since 1999). He is a 1998 Fellow of the Association for Computing Machinery for "outstanding contributions to semantics-directed compilation, especially partial evaluation, and to the theory of computation, formal models and their practical realization".[4]

Selected publications

References

  1. ↑ Neil D. Jones (1981), "Flow analysis of lambda expressions", Automata, Languages and Programming: 114–128, doi:10.1007/3-540-10843-2_10
  2. ↑ Chin Soon Lee, Neil D. Jones and Amir M. Ben-Amram (2001), "The size-change principle for program termination", Principles of Programming Languages: 81–92, doi:10.1145/373243.360210
  3. ↑ Neil D. Jones and William T. Laaser (1974), "Complete Problems for Deterministic Polynomial Time", Symposium on the Theory of Computation: 40–46, doi:10.1145/800119.803883
  4. ↑ "Neil D. Jones". Association for Computing Machinery. Retrieved 19 July 2017.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.