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 global information analytics company that helps institutions and professionals progress science, advance healthcare and improve performance for the benefit of humanity. Elsevier provides digital solutions and tools in the areas of strategic research management, R&D performance, clinical decision support, and professional education; including ScienceDirect, Scopus, ClinicalKey and Sherpath. Elsevier publishes over 2,500 digitized journals, including The Lancet and Cell, more than 35,000 e-book titles and many iconic reference works, including Gray's Anatomy. Elsevier is part of RELX Group, a world-leading provider of information and analytics to professionals and business customers, in a wide range of industries. www.elsevier.com

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