From December 1991 until June 1996, Horst Lührsen 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.
