Chris Okasaki

Last updated

Chris Okasaki is an associate professor of computer science at the United States Military Academy. He authored Purely Functional Data Structures (1998), based on a doctoral dissertation of the same name. He obtained a Ph.D. at Carnegie Mellon University in 1996 under advisers Peter Lee, Robert Harper, Daniel Sleator, and Robert Tarjan. [1] Prior to his current academic appointment, he taught at Columbia University and the University of Glasgow. [2]

Purely functional data structures

Okasaki published his doctoral dissertation as a book in 1998. It approaches the topic of data structures from a functional programming perspective, describing techniques for designing immutable structures that incorporate persistence. [3]

Related Research Articles

In computer science, a double-ended queue is an abstract data type that generalizes a queue, for which elements can be added to or removed from either the front (head) or back (tail). It is also often called a head-tail linked list, though properly this refers to a specific data structure implementation of a deque.

<span class="mw-page-title-main">Robert Parr</span> American theoretical chemist (1921–2017)

Robert Ghormley Parr was an American theoretical chemist who was a professor of chemistry at the University of North Carolina at Chapel Hill.

<span class="mw-page-title-main">Carnegie Mellon University</span> Private research university

Carnegie Mellon University (CMU) is a private research university in Pittsburgh, Pennsylvania. The institution was originally established in 1900 by Andrew Carnegie as the Carnegie Technical School. In 1912, it became the Carnegie Institute of Technology and began granting four-year degrees. In 1967, it became the current-day Carnegie Mellon University through its merger with the Mellon Institute of Industrial Research, founded in 1913 by Andrew Mellon and Richard B. Mellon and formerly a part of the University of Pittsburgh.

<span class="mw-page-title-main">Alan Perlis</span> American computer scientist (1922–1990)

Alan Jay Perlis was an American computer scientist and professor at Purdue University, Carnegie Mellon University and Yale University. He is best known for his pioneering work in programming languages and was the first recipient of the Turing Award.

<span class="mw-page-title-main">Doctor of Arts</span> Doctoral degree

The Doctor of Arts is a discipline-based terminal doctoral degree that was originally conceived and designed to be an alternative to the traditional research-based Doctor of Philosophy (Ph.D.) and the education-based Doctor of Education (Ed.D.). Like other doctorates, the D.A. is an academic degree of the highest level. The D.A. is also frequently conferred as an honorary degree with the added designation of honoris causa.

The Doctor of Education is a research or professional doctoral degree that focuses on the field of education. It prepares the holder for academic, research, administrative, clinical, or professional positions in educational, civil, private organizations, or public institutions. Considerable differences exist in structure, content and aims between regions. In the US, for instance, the EdD usually is a professional doctorate for working or learning professionals and has a large taught component with a smaller thesis, comparable to for example a DSW or DPH, whereas in the UK and Canada, the Ed.D is a full research doctorate with research and profession related courses but ultimately awarded for the thesis resulting from original research, that way aligning more with a Ph.D.

<span class="mw-page-title-main">Finn E. Kydland</span> Norwegian economist

Finn Erling Kydland is a Norwegian economist known for his contributions to business cycle theory. He is the Henley Professor of Economics at the University of California, Santa Barbara. He also holds the Richard P. Simmons Distinguished Professorship at the Tepper School of Business of Carnegie Mellon University, where he earned his PhD, and a part-time position at the Norwegian School of Economics (NHH). Kydland was a co-recipient of the 2004 Nobel Memorial Prize in Economics, with Edward C. Prescott, "for their contributions to dynamic macroeconomics: the time consistency of economic policy and the driving forces behind business cycles."

<span class="mw-page-title-main">Philip Wadler</span> American computer scientist

Philip Lee Wadler is a UK-based American computer scientist known for his contributions to programming language design and type theory. He is the chair of theoretical computer science at the Laboratory for Foundations of Computer Science at the School of Informatics, University of Edinburgh. He has contributed to the theory behind functional programming and the use of monads; and the designs of the purely functional language Haskell and the XQuery declarative query language. In 1984, he created the Orwell programming language. Wadler was involved in adding generic types to Java 5.0. He is also author of "Theorems for free!", a paper that gave rise to much research on functional language optimization.

<span class="mw-page-title-main">Human–Computer Interaction Institute</span>

The Human–Computer Interaction Institute (HCII) is a department within the School of Computer Science at Carnegie Mellon University (CMU) in Pittsburgh, Pennsylvania. It is considered one of the leading centers of human–computer interaction research, and was named one of the top ten most innovative schools in information technology by Computer World in 2008. For the past three decades, the institute has been the predominant publishing force at leading HCI venues, most notably ACM CHI, where it regularly contributes more than 10% of the papers. Research at the institute aims to understand and create technology that harmonizes with and improves human capabilities by integrating aspects of computer science, design, social science, and learning science.

In computer science, a purely functional data structure is a data structure that can be directly implemented in a purely functional language. The main difference between an arbitrary data structure and a purely functional one is that the latter is (strongly) immutable. This restriction ensures the data structure possesses the advantages of immutable objects: (full) persistency, quick copy of objects, and thread safety. Efficient purely functional data structures may require the use of lazy evaluation and memoization.

Herrick Chapman is a prominent historian of France. Since 1992 he has been employed at New York University, where he is Professor of History in the Department of History and Institute of French Studies. Professor Chapman was educated at the University of California, Berkeley and Princeton University.

<span class="mw-page-title-main">Edmund M. Clarke</span> American computer scientist (1945–2020)

Edmund Melson Clarke, Jr. was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, received the 2007 ACM Turing Award.

<span class="mw-page-title-main">Peter O'Hearn</span> Research scientist (born 1963)

Peter William O'Hearn, formerly a research scientist at Meta, is a Distinguished Engineer at Lacework and a Professor of Computer science at University College London (UCL). He has made significant contributions to formal methods for program correctness. In recent years these advances have been employed in developing industrial software tools that conduct automated analysis of large industrial codebases.

The Tepper School of Business is the business school of Carnegie Mellon University. It is located in the university's 140-acre (0.57 km2) campus in Pittsburgh, Pennsylvania.

In computer science, the Brodal queue is a heap/priority queue structure with very low worst case time bounds: for insertion, find-minimum, meld and decrease-key and for delete-minimum and general deletion. They are the first heap variant to achieve these bounds without resorting to amortization of operational costs. Brodal queues are named after their inventor Gerth Stølting Brodal.

Priya Narasimhan is a Professor of Electrical & Computer Engineering at Carnegie Mellon University in Pittsburgh, Pennsylvania. She is also the CEO and founder of YinzCam, a U.S.-based technology company that provides the mobile fan experience for a number of professional sports teams and leagues in the United States, Canada, Australia and New Zealand.

Gerald R. (Jerry) Salancik was an American organizational theorist, and Professor at Carnegie Mellon University. He is best known for his work with Jeffrey Pfeffer on "organizational decision making" and "the external control of organizations."

In computer science, purely functional programming usually designates a programming paradigm—a style of building the structure and elements of computer programs—that treats all computation as the evaluation of mathematical functions.

<span class="mw-page-title-main">Darren Gergle</span> American academic

Darren Robert Gergle is an American Professor in Communication Studies and Computer Science at Northwestern University. He currently holds the AT&T Research Professorship in Communication at Northwestern University where he directs the Collaborative Technology Lab (CollabLab). The locus of his research centers on human-computer interaction and social computing. He focuses on the application of cognitive and social psychological theories to the design, development and evaluation of ground breaking communication technologies. His work is supported through grants from the National Institute of Mental Health, National Science Foundation, Google, Microsoft Research and Facebook.

<span class="mw-page-title-main">Tina Kahniashvili</span> Georgian physicist

Tina Kahniashvili is a Georgian physicist and researcher. She studies theoretical cosmology, gravitational waves, theoretical astrophysics, and dark energy. She is a professor of physics and astronomy at Ilia State University, an associate research professor at Carnegie Mellon University, and is the main scientist at Abastumani Astrophysical Observatory.

References

  1. Okasaki, Chris (1996). Purely Functional Data Structures (PDF) (PhD thesis). Pittsburgh, PA: Carnegie Mellon University. Retrieved 8 January 2017.
  2. "Dr. Chris Okasaki". United States Military Academy at West Point. Retrieved 18 December 2020.
  3. Okasaki, Chris (1998). Purely functional data structures (1 ed.). Cambridge, U.K.: Cambridge University Press. ISBN   9780521631242.