Story posted February 04, 2005
Allen Tucker, Bowdoin's Anne T. and Robert M. Bass Professor of Natural Sciences, has been invited to be a Visiting Erskine Fellow at the University of Canterbury in Christchurch, New Zealand this spring. It is the second time Tucker has been invited to be an Erskine Fellow, a program that brings leading international scholars to the University each year.
Tucker will teach a senior-level course titled "Formal Methods in Software Design" and continue his research in this same area. Eventually, he plans to write a new book on the general subject of mathematical methods in software design.
"I want to develop a new curriculum that helps address the problem of how we educate students to design higher quality software," noted Tucker. "Current methodology is not very coherent; as educators we haven't taught people well how to design and build software that is reliable. One of the best ways to do that is to use more mathematical foundations based on logic and rigorous thinking. Ideally, when designers complete a piece of software, they can prove mathematically that it's correct. The software engineering group at University of Canterbury is very interested in this issue as well, so I anticipate it will be a good research environment in which I can continue to develop these ideas. "
In 2004, Tucker was editor-in-chief of The Computer Science Handbook, a comprehensive reference book on computer science published by CRC Press. He has been on Bowdoin's faculty since 1988 and was the founding chair of the College's computer science department.