\begin{biography}[{\includegraphics[width=0.8in,keepaspectratio]
{julian/julian_richardson}}]{Julian Richardson }
is a senior software engineer at Powerset, Inc. Before that he was a Research Scientist 
with RIACS in the Reliable Software Engineering 
Group at NASA Ames. He has a PhD from the 
University of Edinburgh, Scotland. His research 
interests are software risk assessment, veri¿- 
cation and validation, and automated software 
engineering. He is a member of the ACM.
\end{biography}
