RDA Library
Randomised Distributed Algorithms Library in Coq
Associate Professor
Université de Guyane,
UMR Espace-Dev
Maître de Conférences
Science and Technology Department
UMR-Espace Dev, MICADO Team
Library to assist proofs about graph theory
Tools: Coq, CoqIDE, Proof theory, Graph theory
Post-doctorate in Algorithmic, Fundamental Research
Keywords: Lower and upper bounds for time and space complexities,
Deterministic and randomised algorithms, Streaming algorithm, Pattern matching
RFID labelled Inventory Software
Tools: .NET, Visual Studio, C#, Grails, PostgreSQL
In charge of undergraduate students to complete a 3 year degree in Computer Science
Syntax Analysis, Computer Science Undergraduate Students
Algorithms and Data Structures, Electronic Postgraduate Students
Introduction to algorithmic, Computer Science Postgraduate Students
Tree Structure, Computer Science Postgraduate Students
Programming Project in C, Computer Science Postgraduate Students
Viva for End Year Project, Computer Science Postgraduate Students
Databases Systems, Computer Science Postgraduate Students
Logic and Proof, Computer Science Postgraduate Students
Software Design – B method, Computer Science Postgraduate Students
Subject: Analysis and formal proofs of randomised distributed algorithms
Supervisors: Akka Zemmari and Pierre Castéran
Reviewers: Dominique Méry and Vlady Ravelomanana
Examiners: Jérémie Chalopin and Mohamed Mosbah
5 year Diploma of Engineering in higher education specialising in Computer Science
Valedictorian
5 year Diploma of Research specialising in Algorithms and Formal Methods
With distinction