Clare M. So was involved in an internship at the department of Computer Science. Her internship lasted three months (01/10/05)-(28/12/05).
During the internship, Clare upgraded the Maple-PVS interface to work with PVS version 3.2 and Maple versions 9.5 and 10.