fabrice lefessant.net

Fabrice Le Fessant

Full Time Researcher in the. Voir ma Page Personnelle. I have two domains of research. And especially the OCaml Programming Language. Programming of Massively Distributed Systems. And especially Peer-to-Peer Systems. Here is a list of recent research projects I have been involved in. Type-checking and JIT compilation of Scilab code. One of the main results is Scilint. A style-checker for Scilab. Improvement and Optimization of automatic theorem provers for Atelier B, and especially the Alt-Ergo. Jai é.
traffic

OVERVIEW

This website fabrice.lefessant.net currently has an average traffic ranking of zero (the lower the higher page views). We have scanned three pages inside the domain fabrice.lefessant.net and found ten websites associating themselves with fabrice.lefessant.net.
Pages Crawled
3
Links to this site
10

FABRICE.LEFESSANT.NET RANKINGS

This website fabrice.lefessant.net has seen varying quantities of traffic until the end of the year.
Traffic for fabrice.lefessant.net

Date Range

1 week
1 month
3 months
This Year
Last Year
All time
Traffic ranking (by month) for fabrice.lefessant.net

Date Range

All time
This Year
Last Year
Traffic ranking by day of the week for fabrice.lefessant.net

Date Range

All time
This Year
Last Year
Last Month

LINKS TO WEB SITE

Fabrice Le Fessant

And especially the OCaml Programming Language. Programming of Massively Distributed Systems. Type-checking and JIT compilation of Scilab code. One of the main results is Scilint. Improvement and Optimization of automatic theorem provers for Atelier B, and especially the Alt-Ergo.

Thomas Gazagnaire home

Previously, I co-founded Unikernel Systems. Where I was Chief Architect, to make unikernels. Easier to use so that they can be shipped and deployed everywhere, while I also was Senior Research Associate at the University of Cambridge. Before that, I was CTO of OCamlPro. Principal Virtualisation Engineer at OnApp. And Senior Software Engineer at Citrix. D on distributed systems at Inria. Project and I obtained my Master and Bachelor degrees from ENS Lyon.

WHAT DOES FABRICE.LEFESSANT.NET LOOK LIKE?

Desktop Screenshot of fabrice.lefessant.net Mobile Screenshot of fabrice.lefessant.net Tablet Screenshot of fabrice.lefessant.net

FABRICE.LEFESSANT.NET HOST

I discovered that a single page on fabrice.lefessant.net took four hundred and eighty-two milliseconds to load. Our parsers could not discover a SSL certificate, so in conclusion our parsers consider this site not secure.
Load time
0.482 secs
SSL
NOT SECURE
Internet Protocol
198.100.146.176

BROWSER ICON

SERVER OS AND ENCODING

I diagnosed that this website is utilizing the Apache/2.4.10 (Debian) server.

PAGE TITLE

Fabrice Le Fessant

DESCRIPTION

Full Time Researcher in the. Voir ma Page Personnelle. I have two domains of research. And especially the OCaml Programming Language. Programming of Massively Distributed Systems. And especially Peer-to-Peer Systems. Here is a list of recent research projects I have been involved in. Type-checking and JIT compilation of Scilab code. One of the main results is Scilint. A style-checker for Scilab. Improvement and Optimization of automatic theorem provers for Atelier B, and especially the Alt-Ergo. Jai é.

CONTENT

This website fabrice.lefessant.net has the following on the web site, "I have two domains of research." We viewed that the website also said " And especially the OCaml Programming Language." It also said " Programming of Massively Distributed Systems. Here is a list of recent research projects I have been involved in. Type-checking and JIT compilation of Scilab code. One of the main results is Scilint. Improvement and Optimization of automatic theorem provers for Atelier B, and especially the Alt-Ergo."

SEEK SUBSEQUENT DOMAINS

Fabrices personal site

When you open your mind to the impossible, you often find the truth.

Photographie Bichromie, lancien Blog de Fabrice QUIGNETTE - Albums Photos en ligne des Expos Solo ou Salons.Vous pouvez commander des clichés quignette.fabriceATgmail.com.Enfin, toutes propositions de lieux dexpos seront appréciée

Mois de la Photo, CPCA. Du Festival Photographique International de Cannes 2008. De la Municipalité de Choisy le Roi. La Société Régionale des Beaux-Arts. FESTIVAL PHOTOGRAPHIQUE de CANNES,.

Fabrices blog - !!!AHHHHH LES VACANCES!!! - Skyrock.com

Regroupement des quelques trip de nos vacances, de nos soirées, de nos délires. Subscribe to my blog! Couché de soleil sur tarifa. Couché de soleil en forme de champignon! Un tripe, le soleil nous a montré une forme un peu spéciale. Couché de soleil sous un autre angle.

fabrice02430s blog - Blog de fabrice02430 - Skyrock.com

Clique ici pour poster un commentaire en étant identifié avec ton compte Skyrock. Et un lien vers ton blog ainsi que ta photo seront automatiquement ajoutés à ton commentaire.