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 Intelligenceand ClinicalKey — and publishes nearly 2,200 journals, including The Lancet and Cell, and over 33,000 book titles, including a number of iconic reference works. Elsevier is part of RELX Group plc, a world-leading provider of information solutions for professional customers across industries.

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