From 1992 until March 1997, Richard Lenz has been a member of the research staff at the inf6. He holds a Master's Degree (Diplom-Informatiker) and a Ph. D. (Dr.-Ing.) in Computer Science.