Alan Hartman, Ph.D. ([email protected]) is a mathematician working in the Verification Technologies Department at the IBM Haifa Research Laboratory. He received his Ph.D. degree in 1980 at the University of Newcastle, Australia, in the field of combinatorial design theory. He has worked at the University of Waterloo, the University of Toronto, and at Telstra Research Laboratories. His research interests include combinatorics, graph theory, algorithms, software and hardware verification, and communication networks design.
AGEDIS is a three-year research project, partially funded by the European Commission, on the automation of software testing. The aim of the project is to increase the efficiency and competitiveness of the European software industry by automating software testing, and improving the quality of software while reducing the expense of the testing phase. AGEDIS will achieve this by developing a methodology and tools for the automation of software testing in general, with emphasis on distributed component-based software systems.
The consortium that is doing the research and development work consists of eight industrial and academic research centres in Europe and the Middle East. The consortium is headed by the IBM Research Laboratory in Haifa, and contains academic partners at the Oxford University Computing Laboratory, the Verimag laboratory at Universite Joseph Fourier in Grenoble, and the IRISA laboratory in Rennes. The major industrial partners are France Telecom R&D, the IBM development Laboratory in Hursley Park (UK), and Intrasoft International, a software development company with headquarters in Luxembourg and Athens. The company charged with developing commercial applications of the project is a dynamic software testing company, imbus AG, based in Moehrendorf Germany.
