Elsevier Announces New Editor-in-Chief for Computer Languages, Systems & StructuresBy Elsevier, PRNE
Wednesday, September 14, 2011
NEW YORK, September 15, 2011 -
Nick Benton of Microsoft Research succeeds Bala Kalyanasundaram
Elsevier, a world-leading publisher of scientific, technical and medical information products and services, announced the appointment of Dr. Nick Benton of Microsoft Research as Editor-in-Chief of journal Computer Languages, Systems & Structures. Dr. Benton succeeds Professor Bala Kalyanasundaram of Georgetown University.
Nick Benton is a Senior Researcher in the Programming Principles and Tools Group at Microsoft Research in Cambridge, UK. His research ranges from proof theory and categorical logic, through semantics of programming languages and static analyses, to programming language design and compiler implementation. Dr. Benton received his Ph.D. from the University of Cambridge and is a Fellow Commoner of Queens’ College Cambridge, UK.
Computer Languages, Systems & Structures publishes papers on programming languages. “Programming languages are the raw material from which much of the modern world is constructed, and research in this area is tremendously vibrant,” stated Dr. Benton. ”We’re seeing rapid progress in formal specification, verification and program analysis and ever-closer links between research in programming languages and other areas of computer science, such as systems, databases and security. Advanced programming language ideas are increasingly making an impact in industrial practice and are even being applied in other areas of science, such as biology, physics and linguistics.”
“We are seeing continued growth in journal publication in the subject field of Computer Science at Elsevier and we are looking forward to working with Dr. Benton to reconnect Computer Languages, Systems & Structures with the leading edge of programming language-related research, from theory through to practice,” said Ann Gabriel, Publishing Director for Elsevier’s Computer Science journals.
About Computer Languages, Systems & Structures
Computer Languages, Systems & Structures publishes both articles presenting original work and review articles, on programming languages, systems, structures, and theories. The journal concentrates on advances in programming language theory, as well as the application of programming language ideas to other natural or man-made systems. Visit www.elsevier.com/locate/comlan for more information.
Elsevier is a world-leading provider of scientific, technical and medical information products and services. The company works in partnership with the global science and health communities to publish more than 2,000 journals, including The Lancet and Cell, and close to 20,000 book titles, including major reference works from Mosby and Saunders. Elsevier’s online solutions include SciVerse ScienceDirect, SciVerse Scopus, Reaxys, MD Consult and Nursing Consult, which enhance the productivity of science and health professionals, and the SciVal suite and MEDai’s Pinpoint Review, which help research and health care institutions deliver better outcomes more cost-effectively.
A global business headquartered in Amsterdam, Elsevier employs 7,000 people worldwide. The company is part of Reed Elsevier Group PLC, a world-leading publisher and information provider, which is jointly owned by Reed Elsevier PLC and Reed Elsevier NV. The ticker symbols are REN (Euronext Amsterdam), REL (London Stock Exchange), RUK and ENL (New York Stock Exchange).
Marketing Communications Manager, Elsevier
Tags: Elsevier, New York, September 15, United States of America