Allyx

Mobile Profile Picture
Profile Picture
Algorithm Complexity Analysis <br> (Upper and Lower Bounds) , Deterministic and Randomised Algorithms <br>  , Streaming Algorithms <br>  , Pattern Matching <br>  , Distributed Algorithms <br>  , Formal proofs <br> (proof assistant Coq)

PostDoc

allyx.fontaine‹at›gmail.com

Resume

View my Resume

Resume

Work Experience

Postdoc

University of Bristol, UK

2014-now

Post-doctorate in Algorithmic, Fundamental Research

Keywords: Lower and upper bounds for time and space complexities, Deterministic and randomised algorithms, Streaming algorithm, Pattern matching

Internship

LaBRI, France

02/2010 – 07/2010

Library to assist proofs about graph theory

Tools: Coq, CoqIDE, Proof theory, Graph theory

Internship

RedBite, UK

06/2009 – 09/2009

RFID labelled Inventory Software

Tools: .NET, Visual Studio, C#, Grails, PostgreSQL

Project

ENSEIRB, France

12/2008 – 05/2009

Music searching software

Tools: Google Web Toolkit, Eclipse, Tomcat, GlassFish, Java

Teaching Responsibilities

Algorithmics, Computer Programming, Databases, Formal Methods

ENSEIRB-Matmeca, France

2010-2014

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

Computer Programming

PUF, Vietnam

2012-2013

Syntax Analysis, Computer Science Undergraduate Students

Formation

Doctor

LaBRI, Université de Bordeaux, France

2010-2014

PhD thesis in Computer Science

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

Master

Université de Bordeaux I, France

2009-2010

5 year Diploma of Research specialising in Algorithms and Formal Methods

With distinction

Engineer

ENSEIRB, Bordeaux Graduate School of Engineering, France

2007-2010

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

Valedictorian

Research

Pattern matching

Distributed computing

Formal proofs

Operating systems

GNU/Linux

Windows

Computer languages

Coq

Caml

Lisp

C

Java

C#

C++

Programming softwares

CoqIDE

Why

Frama-c

Maple

Eclipse

Visual Studio

Office softwares

Emacs

LateX

Word

Excel

Database systems

Oracle

MySQL

Languages

Français

Anglais

Espagnol

Teaching

Look at my Lectures

Teaching

Read More

Conception de logiciels
2013
Title

Read More

SGBD
2013
Title

Read More

Projet de Programmation C
2013
Title

Read More

Analyse syntaxique
2012
Title

Read More

Logique et preuve
2011
Title

Read More

Initiation à l’Algorithmique
2010
Title

Read More

Algorithmes et Structures de Données
2010
Title

Read More

Structures Arborescentes
2010
Title

Contact

Get in Touch

Post-doctoral Researcher


University of Bristol logo  Department of Computer Science, University of Bristol


Research group logo  Theory and Algorithms Research Group

 
 

  • University of Bristol, Room 3.36, Merchant Venturers Building, Woodland Road, Clifton, Bristol BS8 1UB, United Kingdom
  • allyx.fontaine‹at›gmail.com
  • +44 117 331 5019
University of Bristol, Room 3.36, Merchant Venturers Building, Woodland Road, Clifton, Bristol BS8 1UB, United Kingdom


General Error

Temporary Error. Please try again!!(4)