Led by Daniel Berry

Berry will explain how early applications of formal verification to software development led him and others to identify requirements engineering as essential. The subsequent interaction between formal methods in software development and requirements engineering leads to the provocative question of the very usefulness of formal methods in requirements engineering. Berry will then invite member of the audience to offer their answers to the question.

Daniel M. Berry got his Ph.D. in Computer Science from Brown University in 1974. He was on the faculty of the Computer Science Department at the University of California, Los Angeles, USA from 1972 until 1987. He was in the Computer Science Faculty at the Technion, Israel from 1987 until 1999. From 1990 until 1994, he worked for half of each year at the Software Engineering Institute at Carnegie Mellon University, USA, where he was part of a group that built CMU’s Master of Software Engineering program. During the 1998-1999 academic year, he visited the Computer Systems Group at the University of Waterloo in Waterloo, Ontario, Canada. In 1999, Berry moved to what is now the Cheriton School of Computer Science at the University of Waterloo. Between 2008 and 2013, Berry held an Industrial Research Chair in Requirements Engineering sponsored by Scotia Bank and the National Science and Engineering Research Council of Canada (NSERC). Berry’s current research interests are software engineering in general, and requirements engineering and electronic publishing in the specific.