Anthony Dekker is based in the department, working with ACSys on the JAWS (Java Applets With Safety) project.
