Paul has over 20 years experience in software development including the production of two software products. His commercial career began at Sharp s research laboratory (Oxford, UK) researching and developing a hardware compiler for chip design. After the successful transfer of that technology to Mentor Graphics, he moved to Celoxica (Abingdon, UK) to continue his research. Paul s research interests include static analysis, program correctness and formal methods with a particular focus on bringing academic research into the mainstream. Paul's degrees include PhD (Computer Science), MSc (Lon), and BSc (Hons). He is a member of the following professional bodies: British Computer Society, Association of Computing Machinery, and Institute of Electrical and Electronics Engineers. |