Tim Clement
Position: Principal Consultant

Tim Clement followed an MA in Natural Sciences (Physics) at Jesus College, Oxford with a DPhil in the area of pattern recognition. He then joined the Programming Research Group in Oxford as a Research Fellow, with Fellowships first at Linacre College and subsequently at St. Cross College, and was involved in the development of the Z specification notation. After appointments as Assistant Professor at Syracuse University, N.Y., and Lecturer in Computer Science at Manchester University, he joined Adelard in 1996.

Safety assessment and consultancy
▫ (2004) Leader of Adelard's ISA team for the assessment phase of MoD's procurement of the GBAD BISA.

▫ (2003-present)  Leader of Adelard's ISA team for MoD's procurement of JNS from Saab Bofors Dynamics AB (Sweden).

▫ (2003?2004) Member of the Adelard team developing guidance on the use of ISAs by the MoD.

▫ (2003) Provided advice to Cancer Research (UK) on software development processes appropriate to     medical advice software, based on IEC61508.

▫ (2002?present) Member of Adelard's ISA teams for Bowman and the associated CBM(L) projects FC BISA and GBAD BriC.

▫ (2001?2002) Undertook a Hazops study and review of COTS for a web-based health and safety advisory system.

▫ (2000?2001) Advised on the development of an IEC61508-compliant development process for a software-based measurement system. This included acting as recorder for the Hazops components of the work.

▫ (2001) Contributor to FHA for EC 5th Framework project "Aircraft in the Future Air Traffic Management System" (AFAS)

▫ (1999?2000) Contributed to the criticality assessment and static analysis of a large commercial software system, including acting as moderator of the software Hazops element of the project.

▫ (1999?present)  Member of Adelard's ISA teams carrying out audit and assessment of military air traffic control systems.

▫ (1998?2000) Reviewer on EC Mefisto project, which sought to apply formal and rigorous techniques to the design and analysis of ATM systems.

▫ (1998?9) Provided verification and validation support using formal reasoning for the emergency closing system for the Eastern Scheldt storm surge barrier.

▫(1998) Carried out a formal proof of an abstract algorithm for page table management in a process controller operating system, as part of a pilot study for the validation of the memory management system.

Software Development
▫ (2000?2001) Member of the Adelard Safety Case Editor (ASCE) development team

▫ (1996?1999) Member of the DUST-EXPERT development team, a formal development for the UK Health and Safety Executive of a safety related expert system to advise on the construction of vessels containing explosive dusts. Domain expert for the Hazops session on this project.

Safety and Software Training
▫ (2002) Taught a four-day course on the practical application of Def Stan 00-55 and 00-56.

▫ (2001?2003 Taught final year module on formal methods at City University

▫ (1999?2000) Taught one-day Software Quality Assurance course, addressing the requirements of ISO9000 and practical techniques for achieving software quality.

▫ (1999?2000) Taught one-day Programming Language Overview course, covering a range of languages from the major paradigms.

▫ (1999) Trainer on ITNTO-approved "BugBuster" training course.

Other Consultancy
▫ (2001) Part of a team undertaking a technical due diligence assessment of a software development company seeking financial support.