Associate Professor
Université de Guyane, UMR Espace-Dev

SKILLS

Research

Pattern Matching

Distributed Computing

Formal Proofs

Languages

French

English

Spanish



Operating Systems

GNU/Linux

Windows

Database Systems

Oracle

MySQL



Programming Softwares

CoqIDE

Frama-c

Maple

Eclipse

Visual Studio

Office Softwares

Emacs

LateX

Word

Excel



Computer Languages

Coq

Caml

Lisp

C

C++

C#

Java

Experience

2016-Now
Associate Professor
Université de Guyane, French Guiana, France

Maître de Conférences
Science and Technology Department
UMR-Espace Dev, MICADO Team

02/2010-07/2010
Internship
LaBRI, France

Library to assist proofs about graph theory
Tools: Coq, CoqIDE, Proof theory, Graph theory

2014-2016
Postdoc
University of Bristol, United Kingdom

Post-doctorate in Algorithmic, Fundamental Research
Keywords: Lower and upper bounds for time and space complexities, Deterministic and randomised algorithms, Streaming algorithm, Pattern matching

06/2009-09/2009
Internship
Redbite Solutions, United Kingdom

RFID labelled Inventory Software
Tools: .NET, Visual Studio, C#, Grails, PostgreSQL

Teaching Responsibilities

2016-Now
Licence en Informatique
Université de Guyane, French Guiana, France

In charge of undergraduate students to complete a 3 year degree in Computer Science

2012-2013
Computer Programming
PUF, Vietnam

Syntax Analysis, Computer Science Undergraduate Students

2010-2014
Algorithmics, Computer Programming, Databases, Formal Methods
ENSEIRB-Matmeca, France

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

Education

2010-2014
PhD in Computer Science
Université de Bordeaux, France

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

2007-2010
Engineer Diploma in Computer Science
ENSEIRB, Bordeaux Graduate School of Engineering, France

5 year Diploma of Engineering in higher education specialising in Computer Science
Valedictorian

2009-2010
Master's Degree in Computer Science
Université de Bordeaux, France

5 year Diploma of Research specialising in Algorithms and Formal Methods
With distinction

Research

  • Algorithms
    • Deterministic / Randomised Algorithms
    • Offline / Online Algorithms
    • Distributed Algorithms
    • Pattern Matching
  • Analysis
    • Correctness (Proof Assistant)
    • Time and Space Complexity (Upper and Lower Bounds)
    • Probabilistic analysis

The list of my publications can be found here.

A Fault-Tolerant Handshake Algorithm for Local Computations

WAINA 2016

The k-mismatch problem revisited

SODA 2016

Dictionary Matching in a Stream

ESA 2015

On Lower Bounds for the Time and the Bit Complexity of some Probabilistic Distributed Graph Algorithms

SOFSEM 2014

Optimal Bit Complexity Randomised Distributed MIS and Maximal Matching Algorithms for Anonymous Rings

Information and Computation 2013

Une Analyse Formelle en Coq d'un Algorithme Distribué Probabiliste résolvant le Problème du Rendez-Vous

JFLA 2013

Analyses et Preuves Formelles d'Algorithmes Distribués Probabilistes

PhD Thesis

Softwares

RDA Library

Randomised Distributed Algorithms Library in Coq

Read more

Get in touch

  • Address:  
    Université de Guyane
    DFR Sciences et Technologies Campus de Troubiran BP 20792
    97337 Cayenne cedex France
  • Phone:   +594 594 29 99 48
  • Email:   allyx.fontainegmail.com