1 |
Hi list, |
2 |
|
3 |
Nattfodd's joining to help with the text-markup herd. His real name is |
4 |
Alexandre Buisse and he lives in Lyons, France, where he is studying |
5 |
for computer science in the Ècole Normale Superieure de Lyon. He's |
6 |
aiming to achieve either a Ph.D. in logic, although he's also |
7 |
considering model theory, lambda calculus or "Curry-Howard things. |
8 |
|
9 |
He is experienced in C and OCaml, which he considers his main languages. |
10 |
He's also competent with Perl, Python and Common Lisp. In addition, he's |
11 |
looking to learn Haskell and Coq (an Ocaml derivative designed for |
12 |
creating formal proofs of mathematical theorems). |
13 |
|
14 |
Alexandre has a patch in Hurd/L4, he is a co-maintainer and creator of |
15 |
funk, a kernel in Ocaml (http://www.gna.org/projects/funk) and he |
16 |
participated in the Google Summer of Code in writing a generational |
17 |
garbage collector, GMC, for the Perl 6 VM (http://www.parrotcode.org). |
18 |
He is also part of the Bed team (http://www.gna.org/projects/bed), |
19 |
aiming to create a vim-like editor in Ocaml. There, he is responsible |
20 |
for the GTK and Cairo side of things. And just to top it all off, he's |
21 |
writing a cairo-based window manager, yauwm. |
22 |
|
23 |
So, please welcome Alexandre to the team. |
24 |
|
25 |
Thanks, |
26 |
-- |
27 |
Tom Martin, http://dev.gentoo.org/~slarti |
28 |
AMD64, net-mail, shell-tools, vim, recruiters |
29 |
Gentoo Linux |