Skip to main content
You are here:
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
Introduction to Functional Programming in OCaml
Université de Paris