Acções do Documento





Peter Larsen


Peter Gorm Larsen studied computer science at the Technical University of Denmark (MSc 1988, PhD 1995) with focus on semantics, computer languages and tool support.

He has worked in industry for most of his career. For 13 years he worked with IFAD and was the main architect of VDMTools and he was responsible for support of VDMTools world-wide. For 3,5 years he worked for Systematic Software Engineering mainly doing business development for large defense projects.

He is now a full professor at the Engineering College of Aarhus and in addition has his own one-man consultancy company PGL Consult.

Dines Bjørner


Bjørner has been a professor at the Technical University of Denmark (DTU) in Lyngby, close to Copenhagen, Denmark from 1965-1969 and 1976-2007, before he retired in March 2007. Inter alia, he was responsible for establishing the United Nations University International Institute for Software Technology (UNU-IIST) in Macau during the 1990s. His magnum opus on software engineering (three volumes) appears in 2005/6 (see details below).

He specializes in research into formal methods. He worked with Cliff Jones and others on the Vienna Development Method (VDM) at IBM in Vienna (and elsewhere). Later he was involved with producing the RAISE (Rigorous Approach to Industrial Software Engineering) formal method with tool support.

To support VDM, Bjørner co-founded VDM-Europe, which subsequently became Formal Methods Europe, an organization that supports conferences and related activities. In 2003, he instigated the associated ForTIA Formal Techniques Industry Association.

Dines Bjørner is a knight of the Order of the Dannebrog and won the John von Neumann Medal in Budapest, Hungary in 1994. He received a Dr.h.c. from the Masaryk University, Brno, Czech Republic in 2004. He is a Fellow of the IEEE (2004) and ACM (2005).


Peter Toft

Peter Toft is a research manager in the Automated Infrastructure Laboratory (AIL), based at HP Labs in Bristol. He is responsible for leading AIL’s work in the development of a virtual infrastructure service called the Cell Infrastructure, a key platform technology for a future dynamic cloud computing infrastructure.
Previously, he was program manager for HP Labs’ activities around the SE3D Animation Showcase (see here) – a research experiment in utility computing. Through the HP Labs experimental Utility Rendering Service, SE3D offered 12 small animation companies access to the same levels of flexible computer power as major animation houses such as DreamWorks. This enabled the animators to create their own animated short feature films, many of which went on to win awards.
Peter joined Hewlett-Packard in 1986 and has worked in software product development, systems research, and in management consulting. His consulting activities focused on R&D strategy and management; software and firmware engineering approaches; and project/program management.
Peter holds degrees in Physics from Oxford University, and in Information Engineering from Bristol University.



Stephen B. Seidman


Stephen Seidman is the 2007 Vice-President for Educational Activities, chair of the Educational Activities Board of the IEEE Computer Society. He has played a leading role in the Society's effort to develop a certification examination for software engineers, and he is currently playing a leading role in an effort to develop an international standard for certification of software engineers.

Seidman is Dean of the College of Natural Sciences and Mathematics at the University of Central Arkansas. He was the founding dean of the College of Computing Sciences at the New Jersey Institute of Technology, where he served as dean from 2001 to 2005. He was chair of the Department of Computer Science at Colorado State University from 1996 to 2001 and head of the Department of Computer Science and Engineering at Auburn University from 1990 to 1996. From 1972 to 1990, Seidman was a faculty member at George Mason University, where he was a founding member of the Department of Computer Science.

Seidman received a BS in mathematics from the City College of New York, and an MA and a PhD in mathematics from the University of Michigan. His research interests are in software architectures and computing education, and he has published more than 50 technical papers. Seidman is a recipient of the IEEE Third Millennium Medal.