 |
 |
Maître de Conférences
Université Paris-Saclay
Algorithms and Complexity
Tel : (01691)55844
Fax :
Office : 35/PCRI-S
Personal web page : http://sylvain.berbiqui.org
Email : syp@lri.fr |
Research activities
- Verification
- Software Testing
- Model-Checking
- Distributed algorithms
- Randomized algorithms
Publications
Principle investigator
- Spades
Software & Patents
- MPICH-V: Message Passing Interface For Volatile Resources
- APMC: Approximate Probabilistic Model Checker
Ph.D. dissertations & Faculty habilitations
Ph.D - PEYRONNET.01-10-2000
Faculty habilitation - Approximation and verification
Contracts & Grants
- VERAP
|
