My Name is Julian Jarecki, I study computer science at the Albert Ludwig University Freiburg. I am currently working on verification for concurrent programs. RasTaIARI (talk) 16:01, 14 August 2012 (UTC)Reply