Home
From LRDE
(Redirected from Main Page)
The LRDE is a research laboratory under the tutelage of EPITA, Graduate School of Computer Science.
Our main areas of expertise are « Image processing and pattern recognition » and « Automata and verification » with a transverse research axis « Performance and genericity ».
Building on its solid scientific production and academic collaborations, the laboratory has industrial contracts and participates in academic research projects.
Latest news (more…)
- LRDE Seminar on Performance and Genericity -- Programmation d'applications Web client-serveur avec Ocsigen by Vincent Balat, Université Paris Diderot et INRIA — 12 March 2014
- Publication LTL Translation Improvements in Spot 1.0 in International Journal on Critical Computer-Based Systems — 6 March 2014
- The LRDE has been accepted with the Spot project to PHC BARRANDE 2014, a bilateral program between France and Czech Republic supporting the mobility of researchers. — 21 February 2014
- LRDE Seminar on Performance and Genericity -- CLAIRE : un pseudo-code élégant exécutable et compilable pour l'aide à la décision by Yves Caseau, Bouygues Telecom & Académie des Technologies — 18 February 2014
- The LRDE belongs to EDITE de Paris (doctoral school). — 14 February 2014
- LRDE Seminar on Performance and Genericity -- Automates Acycliques by Dominique Revuz, LIGM, UMR 8046, Université Paris-Est Marne-la-Vallée — 12 February 2014
