|FOSE||The Future of Software Engineering Symposium
22-23 November 2010, ETH Zurich
Barry W. Boehm is TRW Professor of Software Engineering and Director of the Center for Software Engineering at the University of Southern California.
Barry Boehm received his B.A. degree from Harvard in 1957, and his M.S. and Ph.D. degrees from UCLA in 1961 and 1964, all in Mathematics. He also received an honorary Sc.D. in Computer Science from the U. of Massachusetts in 2000.
Between 1989 and 1992, he served within the U.S. Department of Defense (DoD) as Director of the DARPA Information Science and Technology Office, and as Director of the DDR&E Software and Computer Technology Office. He worked at TRW from 1973 to 1989, culminating as Chief Scientist of the Defense Systems Group, and at the Rand Corporation from 1959 to 1973, culminating as Head of the Information Sciences Department. He was a Programmer-Analyst at General Dynamics between 1955 and 1959.
His current research interests focus on value-based software engineering, including a method for integrating a software system's process models, product models, property models, and success models called Model-Based (System) Architecting and Software Engineering (MBASE). His contributions to the field include the Constructive Cost Model (COCOMO), the Spiral Model of the software process, the Theory W (win-win) approach to software management and requirements determination, the foundations for the areas of software risk management and software quality factor analysis, and two advanced software engineering environments: the TRW Software Productivity System and Quantum Leap Environment.
He has served on the boards of several scientific journals, including the IEEE Transactions on Software Engineering, IEEE Computer, IEEE Software, ACM Computing Reviews, Automated Software Engineering, Software Process, and Information and Software Technology. He has served as Chair of the AIAA Technical Committee on Computer Systems, Chair of the IEEE Technical Committee on Software Engineering, and as a member of the Governing Board of the IEEE Computer Society. He has also served as Chair of the Air Force Scientific Advisory Board's Information Technology Panel, Chair of the NASA Research and Technology Advisory Committee for Guidance, Control, and Information Processing, and Chair of the Board of Visitors for the CMU Software Engineering Institute.
His honors and awards include Guest Lecturer of the USSR Academy of Sciences (1970), the AIAA Information Systems Award (1979), the J.D. Warnier Prize for Excellence in Information Sciences (1984), the ISPA Freiman Award for Parametric Analysis (1988), the NSIA Grace Murray Hopper Award (1989), the Office of the Secretary of Defense Award for Excellence (1992), the ASQC Lifetime Achievement Award (1994), the ACM Distinguished Research Award in Software Engineering (1997), and the IEEE Harlan D. Mills Award (2000). He is a Fellow of the primary professional societies in computing (ACM), aerospace (AIAA), electronics (IEEE), and systems engineering (INCOSE), and a member of the National Academy of Engineering.
Manfred Hans Bertold Broy studied Mathematics and Computer Science at the Technical University of Munich. He graduated in 1976, 1980 he received his Ph. D. and 1982 he completed his Habilitation Thesis at the Faculty of Mathematics at the Technical University of Munich. 1983 till 1989 he worked as a full professor for computer science and founding dean at the Faculty of Mathematics and Computer Science at the University of Passau. In October he became a full professor for computer science at the Faculty of Computer Science the Technische Universität München (former chair of Professor F.L. Bauer).
His research interests are software and systems engineering comprising both theoretical and applied aspects including system models, specification and refinement of system components, specification techniques, development methods and verification. Professor Broy is a member of the European Academy of Sciences and a Member of the Deutsche Akademie der Naturforscher "Leopoldina". In 1994 he received the Leibniz Award by the Deutsche Forschungsgemeinschaft and in 2007 the Konrad Zuse Medal by the Gesellschaft für Informatik.
Patrick Cousot is Professor of Computer Science.
He was appointed, in France at the École Normale Supérieure (ENS, 1991), Paris, France where he is Director of the Computer Science educational activities and leads the research on abstract interpretation and semantics (ENS-CNRS-INRIA joint project team "Abstraction"); the École Polytechnique (X, 1984-1997), where he developped the educational activities in Computer Science and created and headed the research laboratory (LIX) and the University of Metz (1979-1984). He was appointed, in the US, at New York University (NYU, 2008); the Massachusetts Institute of Technology (MIT, 2005) as J. C. Hunsaker Distinguished Visiting Professor.
Before, Patrick Cousot was Research Scientist at the French National Center for Scientific Research (CNRS, 1974-1979).
Patrick Cousot is Engineer from École des Mines of Nancy (1971), Doctor Engineer (PhD) in Computer Science (1974) and Doctor ès Sciences in Mathematics (1978) from the University of Grenoble.
Patrick Cousot is the inventor with Radhia Cousot, of Abstract Interpretation. Abstract interpretation is a theory of sound approximation of mathematical structures, in particular those involved in the behavior of computer systems. It allows the systematic derivation of sound methods and algorithms for approximating undecidable or highly complex problems in various areas of computer science (semantics, verification and proof, model-checking, static analysis, program transformation and optimization, typing, software steganography, etc.). Its current main industrial application is on the safety and security of complex hardware and software computer systems.
Patrick Cousot was named Chevalier (knight) in the Ordre des Palmes académiques (1990) and in the Ordre National du Mérite (1993). He was awarded the Silver Medal of the CNRS (1999), an honorary doctorate from the Fakultät Mathematik und Informatik of the Universität des Saarlandes (2001), the Grand Prix of Computer Science and its Applications of the EADS Corporate Research Foundation attributed by the French Academy of Sciences (2006) and a Humboldt Research Award (2008). He is Member of the Academia Europaea (2006).
Erich is a Distinguished Engineer at IBM Rational Software's Zurich lab. He is one of the leaders of the Jazz project. He was the original lead of the Eclipse's Java development environment (JDT) and is on the Project Management Committee for the Eclipse project. Erich is also a member of the Gang of Four, which is known for its classic book, Design Patterns -Elements of Reusable Object-Oriented Software. Erich has collaborated with Kent Beck on developing JUnit, the de facto standard testing tool for Java.
Yuri Gurevich is a Principal Researcher at Microsoft and Prof. Emeritus at the University of Michigan. He is also an ACM Fellow, a Guggenheim Fellow, a member of Academia Europaea, and Dr. Honoris Causa of Hasselt University in Belgium and of Ural State University in Russia.
Michael A. Jackson
Michael Jackson has worked in software since 1961, focusing first on program and system design method. His program design method, described in Principles of Program Design (1975), was chosen as the standard method for UK government software development. Later work with Pamela Zave at AT&T on specifications and architecture for telecommunication and other systems, is the subject of several patents.
More recent work on problem structure, analysis and solution, is described in Software Requirements & Specifications (1995), Problem Frames (2001), and many published papers.
He holds visiting posts at The Open University and the University of Newcastle; he participates in research projects there and at other research and academic institutions.
He has received several research awards, including the IEE Achievement Medal, The British Computer Society Lovelace Medal, and the ACM Sigsoft Outstanding Research Award.
Rustan Leino is a Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research. He is known for his work on programming methods and program verification tools. At Microsoft Research, he has led the Spec# project, which includes enforced pre- and post-conditions on the .NET platform, and is the architect of the Boogie program verification framework, which underlies several program verifiers for Spec#, C, Eiffel, and other languages. Previously, Leino led the ESC/Java project at Compaq SRC, and worked on specifications on the pioneering ESC/Modula-3 project at DEC SRC. Before getting his PhD (Caltech, 1995), Leino wrote and designed object-oriented software as a technical lead in the Windows NT group at Microsoft. Leino collects thinking puzzles on a popular web page and has recently started the Verification Corner video show on channel9.msdn.com. In his spare time, he plays music and teaches cardio exercise classes.
Bertrand Meyer (host)
Bertrand Meyer is Professor of Software Engineering at ETH Zurich (the Swiss Federal Institute of Technology) and Chief Architect of Eiffel Software, based in Santa Barbara (California). He is the author of numerous articles and over ten books on many topics of software engineering, including the best-seller "Object-Oriented Software Construction" (Prentice Hall). He is an ACM Fellow and has received the ACM Software System Award and the Dahl-Nygaard prize for object technology, and is a member of the French academy of technologies. His most recent book, "Touch of Class: An Introduction to Programming Well using Objects and Contracts" (Springer) applies advanced software engineering techniques to the introductory teaching of programming.
David Lorge Parnas
Dr David Lorge Parnas has been studying industrial software development since 1969. Many of his papers have been found to have lasting value. For example, a paper written 25 years ago, based on a study of avionics software, was recently awarded a SIGSOFT IMPACT award.
Parnas has won more than 20 awards for his contributions. In 2007, Parnas was proud to share the IEEE Computer Society's one-time sixtieth anniversary award with computer pioneer Professor Maurice Wilkes of Cambridge University.
Parnas received his B.S., M.S. and Ph.D. in Electrical Engineering from Carnegie Mellon University and honorary doctorates from the ETH in Zurich (Switzerland), the Catholic University of Louvain (Belgium), and the University of Italian Switzerland (Lugano). He is licensed as a Professional Engineer in Ontario.
Parnas is a Fellow of the Royal Society of Canada (RSC), the Association for Computing Machinery (ACM), the Canadian Academy of Engineering (CAE), the Gesellschaft für Informatik (GI) in Germany and the IEEE. He is a Member of the Royal Irish Academy. Parnas is the author of more than 270 papers and reports. Many have been repeatedly republished and are considered classics. A collection of his papers can be found in:
Dr. Parnas is Professor Emeritus at McMaster University in Hamilton Canada,and at the University of Limerick Ireland and an Honorary Professor at Ji Lin University in China. He is President of Middle Road Software.
Prof. Dr. Dieter Rombach studied mathematics and computer science at the universities of Karlsruhe and Kaiserslautern. Since 1992, he has held the chair for Software Engineering at the University of Kaiserslautern, and since 1996, he has been Executive Director of the Fraunhofer Institute for Experimental Software Engineering in Kaiserslautern (FhG IESE). From 1984-1991, he was Professor of Computer Science at the University of Maryland, and from 1986-1991 he was Project Manager at NASA/Goddard Space Flight Center.
Prof. Rombach's main research topics can be found in the area of "Software Engineering", especially in methods for developing software with predictable quality, in quantitative methods for measuring and assessing software products and software processes, in languages and methods for developing and using explicit software process models, in process-based software development environments as well as in software reuse. As a consultant, he works for various U.S. American and European companies.
In 1990, Prof. Rombach received the "Presidential Young Investigator Award" from the National Science Foundation (USA) "in recognition of his successful work in the area of Experimental Software Engineering". For his exceptional services rendered to the state of Rhineland-Palatinate and his exemplary commitment to the good of society, he received the Order of Merit of the state of Rhineland-Palatinate in late 2000. Effective 1 January 2003, Prof. Rombach was appointed Fellow of the American Institute of Electrical and Electronics Engineers (IEEE) in recognition of his achievements in the area of Experimental Software Engineering.
Joseph Sifakis is a CNRS researcher and the founder of Verimag laboratory, in Grenoble, France. He studied Electrical Engineering at the Technical University of Athens and Computer Science at the University of Grenoble.
Joseph Sifakis is the founder of Verimag laboratory. His recognized for his pioneering work on both theoretical and practical aspects of Concurrent Systems Specification and Verification. He contributed to emergence of the area of model-checking, currently the most widely-used method for the verification of industrial applications. His current research activities include component-based design, modeling, and analysis of real-time systems with focus on correct-by-construction techniques.
Joseph Sifakis has received with Ed Clarke and Allen Emerson for their contribution to Model Checking, the Turing Award for 2007.
Niklaus Wirth has been a Professor of Computer Science at ETH (Federal Institute of Technology) in Zurich, Switzerland, from 1968 to 1999. His principal areas of contribution were programming languages and methodology, software engineering, and design of personal workstations. He has designed the programming languages Algol W (1965), Pascal (1970), Modula-2 (1979), and Oberon (1988), was involved in the methodologies of structured programming and stepwise refinement, and designed and built the workstations Lilith (1980) and Ceres (1986). He has published several text books for courses on programming, algorithms and data structures, and logical design of digital circuits. He has received various prizes and honorary doctorates, including the Turing Award (1984), the IEEE Computer Pioneer (1988), and the Award for outstanding contributions to Computer Science Education (acm 1987).
Pamela Zave received an A.B. degree in English from Cornell University, Ithaca, New York, and a Ph.D. degree in computer sciences from the University of Wisconsin--Madison.
Dr. Zave has been with AT&T Research since 1981. Currently she works with a group of other researchers building tools for IP-based multimedia services using on the Distributed Feature Composition architecture, invented by her and Michael A. Jackson. Her other research interests include Internet architecture, modeling and verification of network protocols, feature interaction, requirements engineering, and multiparadigm specification.
Dr. Zave is an ACM Fellow and an AT&T Fellow. She has received two Ten-Year Most Influential Paper awards, four Best Paper awards, and the AT&T Strategic Patent Award. She holds 14 patents in the telecommunication area. Dr. Zave is currently chair of IFIP Working Group 2.3 on Programming Methodology.
Andreas Zeller is professor for software engineering at Saarland University, Saarbrücken, Germany. His research is concerned with the analysis of large software systems, in particular their execution ("Why does my program fail?") and their development history ("Where do most bugs occur?"). In 2006, his book "Why Programs Fail" received the Software Development Magazine productivity award. In 2009, his work on delta debugging got the ACM SIGSOFT Impact Paper Award as the most influential software engineering paper of 1999.