Ralf Treinen
Ralf Treinen is professor of computer science at University Paris Diderot.
Symbolic constraint solving, verification and application of formal methods to the quality assurance of software components are among his current research interests. He is also a member of Irill