Julian Richardson, Ph.D.
Research Scientist;

Research

• program synthesis, transformation and verification,
• automated theorem proving, including significant roles in the development of the Clam and LambdaClam systems at the University of Edinburgh,
• computer games.

Publications

Recent Publications

• Julian Richardson, Tim Menzies "Making Sense of Requirements, Sooner", Proc. 2006 IEEE Computer Conference, Oct. 2006.
  
• Julian Richardson, Dan Port, Martin S. Feather "Exploring the Robustness of Risk Reduction Strategies", Proc. 2006 IEEE International Symposium on Software Reliability Engineering (ISSRE 2006), To appear.
  
• Julian Richardson, Dan Port, Martin S. Feather "Deriving Verification and Validation Strategies", Proc. 2007 IEEE Aerospace Conference, Big Sky, MT, Mar. 3-10, 2007
  

All Publications

A fairly comprehensive list of my publications can be found here.

Conferences

I was general chair of the 17th IEEE International Conference on Robust Software Engineering (ASE 2002). Currently, I am on the steering committee and programme committee of the 18th IEEE International Conference on Robust Software Engineering (ASE 2003), and the programme committees of the 2003 Symposium on Logic of Program Synthesis and Transformation (LOPSTR 2003) and the 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments (RCS'2003). Previously I have held the following conference organization positions: Programme committee member for LoPSTR-2002. Programme committee member for Calculemus-2002. General Chair, ASE2002, the 17th International Conference on Robust Software Engineering. Organising committee member for AAAI 2002 spring symposium on Logic-Based Program Synthesis: State of the Art and Future Trends. Tutorials Chair and Programme Committee member, ASE2001, the 16th International Conference on Software Engineering. Programme Committee member for ASE2000, the 15th International Conference on Robust Software Engineering. Programme Committee member for "Automated Deduction: Putting Theory into Practice", a stream of the First International Conference on Computational Logic. Programme Committee member for CALCULEMUS-2000, the 8th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning. Organiser of 1997 Calculemus International Workshop, Edinburgh.

Previous Positions

From April 2000 to November 2002, I was a lecturer in the School of Mathematical and Computer Sciences at Heriot-Watt University, Edinburgh, Scotland. Previously, I was a research fellow in the Mathematical Reasoning (DReaM) Group of the Institute of Representation and Reasoning in the Division of Informatics at the University of Edinburgh. Before that, I was a visiting research fellow in the Institut Für Informatik der Universität Zürich, working with Norbert Fuchs on schema-based transformations of Prolog programs, and before that I was a Marie Curie fellow at the Ecole Normale Superieure in Paris. At various times I have worked in industry, as a freelance journalist for CADCAM Magazine (see for example here), and as a software designer at Racal Research Ltd.