He received his master's degree and a Ph.D in computer science from Saarland University, where he worked on formal specifications and software verification.