LRDE LRDE LRDE
  • Home
  • People
  • News
  • Jobs
  • Lrde bulletin
  • Intranet
  • Projects
  • Partnerships
  • Publications
  • LRDE Seminar
  • Life at the LRDE
  • Joining the LRDE
  • Courses at EPITA
  • External courses
  • What links here
  • Related changes
  • Special pages
  • Printable version
  • Permanent link
  • Page information
  • Browse properties
  • Browse properties
  • Log in
  • LRDE
  • Home
  • People
  • News
  • Jobs
  • Lrde bulletin
  • Intranet
  • Projects
  • Partnerships
  • Publications
  • LRDE Seminar
  • Life at the LRDE
  • Joining the LRDE
  • Courses at EPITA
  • External courses
  • What links here
  • Related changes
  • Special pages
  • Printable version
  • Permanent link
  • Page information
  • Browse properties
  • Browse properties

Open positions - PhD

From LRDE

    Automates et vérification

    • Traduction de logique dynamique linéaire en ω-automates
    • Parallélisation des algorithmes d'ω-automates sur GPU
Retrieved from "https://www.lrde.epita.fr/index.php?title=Open_positions_-_PhD&oldid=123214"
  • About LRDE