Skip to main content
FUN MOOC
  • FAQ
  • Home
  • News
  • Courses
  • GRADEO
  • DiplĂ´mes
  • Organizations
  • You are here:
  • Home
  • Ralf Treinen

Ralf Treinen

Ralf Treinen is professor of computer science at University Paris Diderot.
Ralf Treinen avatar
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

Courses

Introduction to Functional Programming in OCaml

OrganizationUniversité de Paris
Course code56002
Course date Archived
FacebookTwitterLinkedin

Learn more

  • Help and contact
  • About FUN
  • Legal
  • Privacy policy
  • User's charter
  • General Terms and Conditions of Use
  • Sitemap
  • Cookie management
Powered by Richie