Last updated on April 16, 2014 at 10:37 EDT

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

September 15, 2011

NEW YORK, September 15, 2011 /PRNewswire/ –

Nick Benton of Microsoft Research succeeds Bala


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
http://www.elsevier.com/locate/comlan for more information.

About Elsevier
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 [http://www.thelancet.com ] and Cell
[http://www.cell.com ], and close to 20,000 book titles, including major
reference works from Mosby and Saunders. Elsevier’s online solutions include
SciVerse ScienceDirect [http://www.sciencedirect.com ], SciVerse Scopus
[http://www.scopus.com ], Reaxys [http://www.reaxys.com ], MD Consult
[http://www.mdconsult.com ] and Nursing Consult
[http://www.nursingconsult.com ], which enhance the productivity of science
and health professionals, and the SciVal suite [http://www.scival.com ] and
MEDai’s Pinpoint Review [http://www.medai.com ], which help research and
health care institutions deliver better outcomes more cost-effectively.

A global business headquartered in Amsterdam, Elsevier
[http://www.elsevier.com ] employs 7,000 people worldwide. The company is
part of Reed Elsevier Group PLC [http://www.reedelsevier.com ], 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

        Media contact
        Jason Awerdick
        Marketing Communications Manager, Elsevier

SOURCE Elsevier

Source: PR Newswire