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


SSCP   CAS-002   9L0-066   350-050   642-999   220-801   74-678   642-732   400-051   ICGB   c2010-652   70-413   101-400   220-902   350-080   210-260   70-246   1Z0-144   3002   AWS-SYSOPS   70-347   PEGACPBA71V1   220-901   70-534   LX0-104   070-461   HP0-S42   1Z0-061   000-105   70-486   70-177   N10-006   500-260   640-692   70-980   CISM   VCP550   70-532   200-101   000-080   PR000041   2V0-621   70-411   352-001   70-480   70-461   ICBB   000-089   70-410   350-029   1Z0-060   2V0-620   210-065   70-463   70-483   CRISC   MB6-703   1z0-808   220-802   ITILFND   1Z0-804   LX0-103   MB2-704   210-060   101   200-310   640-911   200-120   EX300   300-209   1Z0-803   350-001   400-201   9L0-012   70-488   JN0-102   640-916   70-270   100-101   MB5-705   JK0-022   350-060   300-320   1z0-434   350-018   400-101   350-030   000-106   ADM-201   300-135   300-208   EX200   PMP   NSE4   1Z0-051   c2010-657   C_TFIN52_66   300-115   70-417   9A0-385   70-243   300-075   70-487   NS0-157   MB2-707   70-533   CAP   OG0-093   M70-101   300-070   102-400   JN0-360   SY0-401   000-017   300-206   CCA-500   70-412   2V0-621D   70-178   810-403   70-462   OG0-091   1V0-601   200-355   000-104   700-501   70-346   CISSP   300-101   1Y0-201   200-125  , 200-125  , 000-106   070-461   200-120   350-030  , 70-486  , 70-413   VCP550   000-089   2V0-621   300-070   N10-006   MB2-707   OG0-091  , PMP   70-177   500-260   70-411  , 300-135  , 70-461   000-089   SY0-401  , 70-411  , 70-463   101   352-001   810-403  , AWS-SYSOPS  , 000-080   640-916   640-692   220-802   1Z0-803   200-125  , c2010-657   200-101   220-801   350-001   220-901  , PEGACPBA71V1   70-532   9A0-385   c2010-652   300-135   400-201   CAP   1Z0-061   200-101  , 300-320   NS0-157   300-320   CAS-002   1Z0-144   NS0-157   352-001  , PMP  

2V0-621D   2V0-621D  , 000-106   070-461   200-120   350-030  , 70-486  , 70-413   VCP550   000-089   2V0-621   300-070   200-101   220-801   350-001   220-901  , PEGACPBA71V1   70-532   9A0-385   c2010-652   300-135   400-201   CAP   1Z0-061   200-101  , 300-320   NS0-157   300-320   CAS-002   1Z0-144   NS0-157   352-001  , PMP  

403 Forbidden

403 Forbidden


nginx