Issue No.01 - January (2004 vol.30)
Published by the IEEE Computer Society
It is my pleasure to introduce and welcome five new members of the Editorial Board, Thomas Ball, Marsha Chechik, Daniel Hoffman, Jeff Kramer, and Dieter Rombach. Their brief biographical sketches below present their accomplishments, ex-pertise, and interests. The role of the editorial board is very important and being a member of the board is both challenging and time consuming. The members of the editorial board are responsible for selecting reviewers for papers submitted to the journal and for making publication decisions. Many of them also assist in the preparation of our various special issues. The editorial board also engages in regular discussion about policy issues facing TSE. These activities are undertaken voluntarily and coexist with existing professional responsibilities.
John Knight, Editor-in-Chief
For information on obtaining reprints of this article, please send e-mail to: firstname.lastname@example.org, and reference IEEECS Log Number 118810.
Thomas Ball receiving the PhD degree in computer science in 1993 from the University of Wisconsin---Madison. He is a senior researcher at Microsoft Research (MSR) where he leads the Testing, Verification, and Measurement group. His research interests are in how combinations of static and dynamic program analysis, model checking, and theorem proving techniques can help improve the correctness and reliability of programs. For the last four years, he has been working on the SLAM project with Sriram Rajamani, the main product of which is an analysis engine for checking temporal safety properties of C programs. This engine forms the core of a new tool called Static Driver Verifier, in development in the Windows division, for checking that Windows device drivers are good clients of the Windows kernel API. Previous to working at MSR, he was a researcher at Bell Labs (1993-1999).
Marsha Chechik received the MSc and PhD degrees from the University of Maryland at College Park in 1994 and 1996, respectively. Since 1996, she has been with the Department of Computer Science at the University of Toronto, where she is currently an associate professor. Her main research interests are in applying formal methods to improve the quality of software. Her publications span the areas of formal methods, software specification and verification, model checking, and requirements engineering. She is a member of the ACM and the IEEE Computer Society.
Daniel Hoffman received the BA degree in mathematics from the State University of New York, Binghamton, in 1974, and the MS and PhD degrees in computer science in 1981 and 1984, from the University of North Carolina, Chapel Hill. From 1974 to 1979, he worked as a commercial programmer/analyst. He is currently a professor of computer science at the University of Victoria, British Columbia, Canada). His research emphasizes the industrial application of software documentation, inspection, and testing; software testing especially test generation, output checking, and test automation; the testing of computer network hardware and software, especially traffic generation and test automation; software documentation, especially the documentation of class interfaces and APIs, and methods for detecting documentation errors and generating documentation; software product lines, especially the issues related to component based design and product line testing. He spent the 1992-1993 year on sabbatical at Tandem Computers, Inc. working on software inspection and automated class testing, and the 1998-1999 year on sabbatical at Bell Laboratories, Lucent Technologies doing research in software product lines and test automation. More recently, he has addressed the automated testing of computer net-work hardware and software.
Jeff Kramer is the head of the Department of Computing at Imperial College. His research interests include requirements engineering, software architectures and analysis techniques, particularly as applied to concurrent and distributed soft-ware. He was a principal investigator in the various research projects, which led to the development of the CONIC environment for configuration programming and the Darwin architectural description language. His current research work is on behaviour analysis, the use of models in requirements elaboration and architectural approaches to self-organizing software systems. He is a chartered engineer, fellow of the IEE and fellow of the ACM. He was program cochair of the 21st ICSE in Los Angeles in 1999, Chair of the Steering Committee for ICSE from 2000 to 2002, and associate editor and member of the editorial board of TOSEM from 1995 to 2001. He is the coauthor of a recent book on concurrency, coauthor of a previous book on distributed systems and computer networks, and the author of more than 150 journal and conference publications.
Dieter Rombach received the BS degree in mathematics from the University of Karlsruhe, Federal Republic of Germany, in 1975, the MS degrees in mathematics and computer science from the University of Karlsruhe in 1978, and the PhD degree in computer science from the University of Kaiserslautern, Federal Republic of Germany, in 1984. He is a full professor in the Fachbereich Informatik (i.e., Department of Computer Science) at the Technische Universitat Kaiserslautern, Germany. He holds a chair in software engineering and is the executive director of the Fraunhofer Institute for Experimental Software Engineering (IESE) which aims at shortening the time needed for transferring research technologies into industrial practice. He also holds a visiting professorship with the Computer Science Department of the University of New South Wales in Sydney, Australia. His research interests are in software methodologies, modeling and measurement of the software process and resulting products, software reuse, and distributed systems. His results are documented in more than 140 publications in international journals and conference proceedings. Prior to his current posi-tion, Dr. Rombach held faculty positions with the Computer Science Department and UMIACS (University of Maryland Institute for Advanced Computer Studies) at the University of Maryland, College Park, Maryland (1984-1991) and was a member of the SEL (Software Engineering Laboratory, a joint venture between NASA, Goddard Space Flight Center, Computer Sciences Corporation, and the University of Maryland) (1986-1991). In 2003, he received the Distinguished Postdoctoral Award from the University of Maryland. In 1990, he received the prestigious Presidential Young Investigator Award (US $$ 500,000.00) from the US National Science Foundation in recognition of his research accomplishments in soft-ware engineering. In 2000, he was awarded the Service Medal of the State of Rhineland-Palatinate, Germany, for his ac-complishments in software engineering research and his contributions to the economic development of the state through the establishment of a Fraunhofer institute. Since 2003, he serves as a member of the Software Process Achievement (SPA) Awards Committee of Carnegie Mellon's Software Engineering Institute. Dr. Rombach heads several research projects funded by the German Government, European Union, and Industry. He currently is the lead principal of a federally funded project (ViSEK) aimed at building up a German repository of knowledge about innovative software engineering technologies. He consults for numerous companies on issues including quality improvement, software measurement, software reuse, process modeling, and software technology in general, and he is an advisor to Federal and State Govern-ment on software issues. He frequently gives industrial executive seminars on software quality improvement, software measurement, software reuse, and process modeling. He was Coguest-Editor of two special issues in IEEE Software, on software quality assurance in September 1987 and measurement-based process improvement in July 1994, respectively, and organized the International Workshop on Experimental Software Engineering Issues in Dagstuhl, Germany, September 1992. He served as general chair of the 18th International Conference on Software Engineering in Berlin, 1996. He is an associate editor for both the Kluwer Journal Empirical Software Engineering and ACM TOSEM and serves on the editorial boards of numerous other journals and magazines. He is a member of GI and ACM, and a fellow of IEEE.