Menu

Fabien FLEUTOT

TOULOUSE

En résumé

Mes principaux domaines de compétence:
- théorie et implémentation des langages de programmation, vérification formelle de code et de conformance aux modèles ;
- systèmes embarqués, en particulier orientés télécommunications ;
- protocoles réseau ;
- développement et administration Unix ;
- programmation fonctionnelle (Lisp, OCaml, Haskell...) ;
- de façon générale, tous problèmes algorithmiquement complexes, exigeant une bonne intuition mathématique, une excellente capacité de modelisation, ainsi qu'une forte expérience en architecture et en développement logiciel.

Je suis bilingue Anglais, ayant passé plusieurs années à Londres.

Je ne souhaite pas, à court terme, m'éloigner de la région toulousaine.

Mes compétences :
Recherche
C
OCaml
Linux
Interface graphique
Unix

Entreprises

  • Atmosphère Systèmes et Services - Sofware Architect

    2014 - maintenant

  • Sierra Wireless - Ingenieur R&D

    ISSY LES MOULINEAUX 2008 - 2014

  • Wavecom - Ingenieur de developpement

    Issy les Moulineaux 2006 - 2008 Je travaille a la R&D, notamment sur les sujets suivants: protocoles reseaux, securite, interpretation de languages dynamiques. Je suis en charge de specifications de librairies logicielles, eventuellement de leur implementation, de conception de prototypes, ponctuellement de designs custom pour les clients clef, de conseil dans mes domaines d'expertise (reseaux et languages de programmation), de formation interne (reseauu, securite, genie logiciel).

  • King's College London - Network Administrator et Teaching Assistant

    2003 - 2005 Mes fonctions:

    Administrateur du reseau unix du departement mathematiques. Maintenance : serveurs NFS, web, LPD, stations de travail... Migration d'un reseau heterogene Solaris/DEC/Linux vers un reseau homogene Debian GNU/Linux sur PC 32 et 64 bits. Assistance aux utilisateurs.

    Assistant de cours. Charge de travaux diriges et de travaux pratiques en programmation Java, ainsi que dans mes domaines de specialite, de la premiere annee au masters :
    - Programming language design
    - Functional programming
    - Lambda calculus and computing models

  • King's College London - Research associate et doctorant

    2002 - 2006 Je prepare une these en cotutelle entre le King's College London et l'universite de Paris VII, financee par une bourse du ministere de la recherche.

    J'ai travaille sur le typage statique de langages integrant les styles de programmation fonctionel et oriente objets. L'objectif est de parvenir a representer ces deux styles complementaires dans un cadre unique, afin d'en ameliorer la comprehension et a terme d'en permettre l'integrations dans des langages de programmation mainstream.

    J'ai par ailleurs travaille sur les reseaux d'interaction, un modele de machine virtuelle qui facilite l'execution en parrallele de programmes concurrents.

    Enfin, je travaille sur la meta-programmation statique (`Compile-time metaprogramming' ou `Lisp-style macros with syntax ' en Anglais). Un resultat concret de ces travaux, toujours en developpement actif, est le compilateur open source Metalua [http://metalua.luaforge.net], rendant cette technologie plus facilement accessible a tous, en l'integrant au language Lua.

  • INRIA - Developpeur

    Le Chesnay 2000 - 2000 Developpeur de Syndex, un systeme de conception logicielle assistee par ordinateur pour systemes distribues embarques temps-reel.

    Syndex implemente la methodologie AAA (http://www-rocq.inria.fr/syndex), qui consiste a decrire un algorithme distribue sous forme de graphes, une architecture distribuee elle aussi sous forme de graphe, et a distribuer l'algorithme sur l'architecture statiquement, de facon a produire un code temps-reeel, dont les proprietes de cadence/latence sont garanties formellement.

    J'ai developpe la version 6 de Syndex : participation a la specification, framework de modelisation d'algorithme sous forme de graphes multi-niveaux, conception d'heuristiques de distribution, implementation du logiciel (back-end et front-end).

  • Nexgen Software - Developpeur

    2000 - 2002 NexGen Software concoit des librairies logicielles pour les fabricants de consumer electronics: piles de protocoles, interfaces graphiques, clients et serveurs (mail, http, web, LDAP...) http://www.nexgen-software.fr

    Mes realisations:

    Specification, design et implementation d'un systeme de GUI (graphical user interface) pour architectures embarquees (telephones, set-top boxes), avec une attention particuliere pour les problemes specifiques a l'embarque:
    - langage et portabilite (sous-ensemble de C)
    - contrainte d'efficacite (complexite algorithmique, consommation memoire)
    - adaptabilite a divers materiels (en particulier, peripheriques I/O, et affichages : systeme de specification du layout de haut niveau)
    - code footprint.

    Participation a d'autres projets:
    - piles de protocoles reseau
    - moteur de rendu graphique d'un navigateur XHTML Basic, base sur le systeme GUI ci-dessus

Formations

Réseau

Annuaire des membres :