Derek Dreyer, Saarland University (IMAGE) Saarland University Caption Derek Dreyer studies the foundations of programming to make software safe and secure. Credit Oliver Dietze Usage Restrictions None License Licensed content Disclaimer: AAAS and EurekAlert! are not responsible for the accuracy of news releases posted to EurekAlert! by contributing institutions or for the use of any information through the EurekAlert system.