Elsevier Announces New Editor-in-Chief for Computer Languages, Systems & Structures

Nick Benton of Microsoft Research succeeds Bala Kalyanasundaram

New York, September 15, 2011 – 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/comlanfor more information.

About Elsevier

Elsevier is a world-leading provider of information solutions that enhance the performance of science, health, and technology professionals, empowering them to make better decisions, deliver better care, and sometimes make groundbreaking discoveries that advance the boundaries of knowledge and human progress. Elsevier provides web-based, digital solutions — among them ScienceDirect, Scopus, Elsevier Research Intelligence, and ClinicalKey — and publishes nearly 2,200 journals, including The Lancet and Cell, and over 25,000 book titles, including a number of iconic reference works.

The company is part of Reed Elsevier Group PLC, a world leading provider of professional information solutions in the Science, Medical, Legal and Risk and Business sectors, 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).

Media contact
Jason Awerdick
Marketing Communications Manager, Elsevier
j.awerdick@elsevier.com
+1 212 633 3103