Testing: Academic &
Industrial Conference
Practice and Research Techniques
Dr. Wolfgang Grieskamp
Wolfgang Grieskamp is a principal architect and researcher in the
Protocol Engineering Team at Microsoft, Server Tools and Business,
which aims to create tools and engineering methods that enable software
engineers to build, test, and maintain interoperable products from
Microsoft Technical Documentation. To achieve this goals they apply
modeling, model-based testing, and other advanced technologies. Before
joining Microsoft he worked for six years at Microsoft Research,
developing MBT technology and the Spec Explorer family of MBT tools.
Spec Explorer has moved together with him from Microsoft Research to
Windows, where it is successfully productized and maintained.
Prof. Sir Tony Hoare
Sir Charles Antony Richard Hoare (Tony Hoare or C.A.R. Hoare, born
January 11, 1934) is a British computer scientist, probably best known
for the development in 1960 of Quicksort (or Hoaresort), one of the
world's most widely used sorting algorithms, Hoare logic, the formal
language Communicating Sequential Processes (CSP) used to specify the
interactions between concurrent processes, structuring computer
operating systems using the monitor concept, and the axiomatic
specification of programming languages. He is now an Emeritus Professor
at the Oxford University Computing Laboratory, and is also a senior
researcher at Microsoft Research in Cambridge, England. He received the
1980 ACM Turing Award for "his fundamental contributions to the
definition and design of programming languages".
Prof. Bertrand Meyer
Bertrand Meyer is Professor
of Software Engineering at ETH Zurich (the Swiss Federal Institute of
Technology), which he joined in 2001 and was chairman of the computer
science department from 2004 to 2006. He remains Chief Architect of
Eiffel Software, the company he founded in California in 1985. He is
the author of a number of books translated into many languages,
including "Object-Oriented Software Construction" (Jolt Award 1997),
"Reusable Software", "Introduction to the Theory of Programming
Languages", "Eiffel: The Language" and several others, as well as many
articles and over 60 edited conference proceedings. He has led the
design and implementation of numerous tools and libraries used in
production applications, including the open-source EiffelStudio
environment, and serves as consultant to industry and government
agencies. He is the principal designer of the Eiffel language and
method, and the editor of the Eiffel language standard, accepted by the
International Standards Organization in 2006. His research interests
range over object-oriented analysis, design and programming,
concurrency (SCOOP model), object persistence, development
environments, software project management, software verification,
automatic testing, formal methods, programming language semantics, and
educational issues. He is the recipient of the Dahl-Nygaard object
technology award and, in 2007, of the ACM Software System Award.
Wolfgang Grieskamp is a principal architect and researcher in the
Protocol Engineering Team at Microsoft, Server Tools and Business,
which aims to create tools and engineering methods that enable software
engineers to build, test, and maintain interoperable products from
Microsoft Technical Documentation. To achieve this goals they apply
modeling, model-based testing, and other advanced technologies. Before
joining Microsoft he worked for six years at Microsoft Research,
developing MBT technology and the Spec Explorer family of MBT tools.
Spec Explorer has moved together with him from Microsoft Research to
Windows, where it is successfully productized and maintained. 
Sir Charles Antony Richard Hoare (Tony Hoare or C.A.R. Hoare, born
January 11, 1934) is a British computer scientist, probably best known
for the development in 1960 of Quicksort (or Hoaresort), one of the
world's most widely used sorting algorithms, Hoare logic, the formal
language Communicating Sequential Processes (CSP) used to specify the
interactions between concurrent processes, structuring computer
operating systems using the monitor concept, and the axiomatic
specification of programming languages. He is now an Emeritus Professor
at the Oxford University Computing Laboratory, and is also a senior
researcher at Microsoft Research in Cambridge, England. He received the
1980 ACM Turing Award for "his fundamental contributions to the
definition and design of programming languages". 
Bertrand Meyer is Professor
of Software Engineering at ETH Zurich (the Swiss Federal Institute of
Technology), which he joined in 2001 and was chairman of the computer
science department from 2004 to 2006. He remains Chief Architect of
Eiffel Software, the company he founded in California in 1985. He is
the author of a number of books translated into many languages,
including "Object-Oriented Software Construction" (Jolt Award 1997),
"Reusable Software", "Introduction to the Theory of Programming
Languages", "Eiffel: The Language" and several others, as well as many
articles and over 60 edited conference proceedings. He has led the
design and implementation of numerous tools and libraries used in
production applications, including the open-source EiffelStudio
environment, and serves as consultant to industry and government
agencies. He is the principal designer of the Eiffel language and
method, and the editor of the Eiffel language standard, accepted by the
International Standards Organization in 2006. His research interests
range over object-oriented analysis, design and programming,
concurrency (SCOOP model), object persistence, development
environments, software project management, software verification,
automatic testing, formal methods, programming language semantics, and
educational issues. He is the recipient of the Dahl-Nygaard object
technology award and, in 2007, of the ACM Software System Award.
