Simon Peyton Jones (born in South Africa in 1958) is a British computer scientist who does research on the implementation and applications of functional programming languages, particularly lazy functional languages. He is an honorary Professor of Computer Science at the University of Glasgow and supervises PhD Students at the University of Cambridge. Peyton Jones graduated from Trinity College, Cambridge in 1980, …

Erik Meijer is a Dutch computer scientist who is currently a software architect at Microsoft Research. He was previously a professor at Utrecht University. He received his Ph.D from Nijmegen University in 1992. Meijer's research has included the areas of functional programming (particularly Haskell), compiler implementation, parsing, programming language design, XML, and foreign function interfaces.

Philip Wadler is a computer scientist well-known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming and the use of monads in functional programming, the design of the purely functional language Haskell, and the XQuery declarative query language. He is presently a Professor of Theoretical Computer Science in the School of Informatics at the University of Edinburgh.

John Hughes is a computer scientist who does research in the field of programming languages. He is a professor in the department of Computing Science at the Chalmers University of Technology. Hughes is a member of the Functional Programming group at Chalmers, and much of his research relates to the Haskell programming language.

Luca Cardelli is an Italian computer scientist who is currently an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is well-known for his research in type theory and operational semantics. Among other contributions he implemented the first compiler for the (non-pure) functional programming language ML and he defined the concept of typeful programming. Recently, he helped develop the Polyphonic C# experimental programming language.

Xavier Leroy is a French computer scientist and programmer. He is best known for his role as a primary developer of the Objective Caml system. He is senior scientist ("directeur de recherche") at the French government research institution INRIA. Leroy was admitted to the École normale supérieure in Paris in 1987, where he studied mathematics and computer science. From 1989 to 1992 he did his PhD in computer science under the supervision of Gérard Huet.

Lennart Augustsson is currently employed by Credit Suisse. He was previously a lecturer at the Computing Science Department at Chalmers University of Technology. His research field is functional programming and implementations of functional languages. Lennart is the author of: * The Cayenne programming language. * The HBC Haskell compiler. * Several hardware device drivers for NetBSD. * The front end of the pH compiler (parallel Haskell) from MIT.

Joseph Amadee Goguen was a computer science professor in the Department of Computer Science and Engineering at the University of California, San Diego, USA, who helped develop the OBJ family of programming languages. He was author of "A Categorical Manifesto" and Editor-in-Chief of the Journal of Consciousness Studies. Standard implication in product fuzzy logic is often called "Goguen implication".

Pascal Costanza is a research associate at the Institute of Computer Science III of the University of Bonn in Germany. He is known in the field of functional programming in LISP as well as in the aspect-oriented programming (AOP) community for contributions to this field by applying AOP through LISP <sup>1<;/sup>.

Roderick Burstall was one of three founders of the Edinburgh Laboratory for Foundations of Computer Science. He was an early and influential proponent of functional programming, pattern matching, and list comprehension, and is is best-known for his work with Robin Popplestone on POP, an innovative programming language developed at Edinburgh around 1970, and later work with John Darlington on NPL.

Don Sannella is Professor of Computer Science in the Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland. His research interests include: algebraic specification and formal software development, correctness of modular systems, types and functional programming, resource certification for mobile code. He is editor-in-chief of the journal "Theoretical Computer Science".

Dr. Paul Callaghan is a lecturer in the Department of Computer Science at Durham University. Paul Callaghan completed both his B.Sc. and his Ph.D. evaluating LOLITA and other related natural language processing systems at the University of Durham. In 1999 he was appointed as a lecturer within Durham University, where he continues to teach in the Department of Computer Science. He is particularly active as a promoter of functional programming, especially Haskell.

Prof. Richard S. Bird (born 1943, London) is a Fellow of Computation at Lincoln College, Oxford, England, and former director of Oxford University Computing Laboratory. Bird's research interests lie in algorithm design and functional programming, and he is renowned as a regular contributor to the "Journal of Functional Programming" and the author of "Introduction to Functional Programming using Haskell" and other books.

Dr Richard A. O'Keefe is a computer scientist, currently working in Department of Computer Science, University of Otago, Dunedin, New Zealand. He concentrates on languages for logic programming and functional programming (including Prolog, Haskell, and Erlang). O'Keefe published well known and influential book on Prolog programming: "The Craft of Prolog" (ISBN 0-262-15039-5).

Gérard Philippe Berry is a French computer scientist, member of French Academy of Sciences (Académie des sciences), French Academy of Technologies (Académie des technologies), and Academia Europaea. Berry's work, which spans over more than 30 years, …

Corrado Böhm, Professor Emeritus at the University of Rome "La Sapienza", is a computer scientist known especially for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda-calculus, and the semantics and implementation of functional programming languages. A special issue of "Theoretical Computer Science" was dedicated to him on the occasion of his 70^th birthday.