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/comlan for more information.

About Elsevier
Elsevier is a global information analytics business that helps scientists and clinicians to find new answers, reshape human knowledge, and tackle the most urgent human crises. For 140 years, we have partnered with the research world to curate and verify scientific knowledge. Today, we’re committed to bringing that rigor to a new generation of platforms. 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, SciVal, ClinicalKey and Sherpath. Elsevier publishes over 2,500 digitized journals, including The Lancet and Cell, 39,000 e-book titles and many iconic reference works, including Gray's Anatomy. Elsevier is part of RELX, a global provider of information-based analytics and decision tools for professional and business customers. www.elsevier.com

Media contact
Jason Awerdick
Marketing Communications Manager, Elsevier
+1 212 633 3103