From 6cbdbfe72489046ffaca24bd9e6b4533824bbb28 Mon Sep 17 00:00:00 2001
From: Olivier Nicole
-During daytime, I work for Tarides on the OCaml language, which is a high-level
language, both safe and performant, that I like a lot. I generally work on free
or open source software, so you can consult my current activity on Olivier Nicole
href="http://www-list.cea.fr/en/technological-research/research-programmes/embedded-systems/validation-and-verification">CEA
List and ENS under the supervision
of Matthieu Lemerre and Xavier Rival. I worked on static analysis of low-level
-code in order to verify the security of kernel (among other things).
+code in order to verify the security of OS kernels (among other things).
I'm also interested in functional programming, type systems and logic. Tagtempe, mi laboras por la firmo Tarides sur Saluton, mi nomiĝas Olivier. Tagtempe, mi laboras por la firmo Tarides sur la programlingvo OCaml, kiu estas altnivela
lingvo, samtempe sekura kaj malmultekosta je resursoj, kiu mi tre ŝatas. Mi
kutime laboras sur liberaj aŭ malfermitkodaj programaroj, do miaj nunaj aferoj
diff --git a/index.fr.html b/index.fr.html
index 2fb494b..e8d657a 100644
--- a/index.fr.html
+++ b/index.fr.html
@@ -4,11 +4,12 @@
En journée, je travaille pour Tarides sur le
- langage OCaml qui est un langage haut niveau à la fois sûr et
-performant que j'apprécie beaucoup. Je travaille en général sur des logiciels
-libres ou open source, donc ce que je fais en ce moment peut être consulté
-sur mon profil Github.
+ Bonjour, je m’appelle Olivier. En journée, je travaille pour Tarides sur le langage OCaml qui est un langage haut niveau
+à la fois sûr et performant que j'apprécie beaucoup. Je travaille en général
+sur des logiciels libres ou open source, donc ce que je fais en ce moment peut
+être consulté sur mon profil
+Github.
Le reste du temps, je lis de la philo ou divers romans (avec un penchant
@@ -21,7 +22,7 @@ Olivier Nicole
Olivier Nicole
-Olivier Nicole
-Olivier Nicole
List et à l’ENS sous la supervision
de Matthieu Lemerre et Xavier Rival.
Il porte sur l'analyse statique de code bas niveau afin de vérifier la sécurité
-de noyaux (notamment).
Outre l'analyse statique, je m’intéresse aussi à la programmation fonctionnelle en général, aux systèmes de types et aux systèmes logiques.