Home
>
Collaborations
> Collaborations
About LRI
Groups
Collaborations
Contracts and grants
Collaborations
Visitors
Research results
Open positions
Teaching
Useful informations
Collaboration with GDR ICQ
(since Jan 2000)
Research group: Quantum Information and Communication
LRI Members: I. Kerenidis, S. Laplante, F. Magniez, M. Santha
Research activities:
>
Publications
°
Quantum computation
Groups:
°
Algorithms and Complexity
Contact:
More information:
http://gdr-iq.neel.cnrs.fr/index.html
Collaborations
°
AdaCore SAS
avec
Verification of Algorithms, Languages and Systems
°
LSV, ENS Cachan
avec
Verification of Algorithms, Languages and Systems
°
System X FSF
avec
Verification of Algorithms, Languages and Systems
°
International Joint Project MoBasT
avec
Verification of Algorithms, Languages and Systems
°
GDR Informatique Mathématique
> more collaborations
