$ finger reilles
Login name: reilles In real life: Antoine Reilles
Directory: /users/protheo/reilles Shell: /usr/pkg/bin/zsh
On since Feb 22 1981 on pts/1
No unread mail
Plan:
My PhD thesis topic is about certified/verified compilation of rule programs. This work is held in the context of the Tom compiler, under Claude Kirchner and Pierre-Etienne Moreau's direction
$ curl http://protheo.loria.fr/locat_en.html | grep -A 4 Address
Address:
INRIA
615 rue du Jardin Botanique
BP 101
54602 Villers-lès-Nancy
$ ldapsearch "uid=reilles" roomnumber telephonenumber faxnumber
roomnumber: B 208
telephonenumber: +33 3 54 95 84 09
facsimiletelephonenumber: +33 3 83 27 83 19
$ gpg --fingerprint 60C4FE6C | sed -e 's/@/_at_/' -e 's/\./_dot_/'
pub 1024D/60C4FE6C 2003-10-16 Key fingerprint = 12F7 AEDC 787C A7FC BF5A A136 E15A A6A0 60C4 FE6C uid Antoine Reilles <tonio_at_NetBSD_dot_org> uid Antoine Reilles (tonio) <reilles_at_loria_dot_fr> uid Antoine Reilles <tonio_at_tuxfamily_dot_org> uid Antoine Reilles <Antoine_dot_Reilles_at_loria_dot_fr> sub 1024g/DEFBD5DC 2003-10-16
$ ls workspace/
cv_fr.html cv_fr.pdf cv_en.html cv_en.pdf publications tom/ tom-project/ tom-bugs/ master/ manuscrit.pdf soutenance-slides.pdf
$ ls teaching/
Java_(IUT)_2003-2004
Java_(Introduction to programming)_2004-2005
Java_(Introduction to programming)_2006-2007
Perl_Bioinformatics
$ uname -s
NetBSD
$ ssh ftp.netbsd.org "cat .project"
I joined the NetBSD crowd to work mainly on the pkgsrc package system.
I maintain there some packages, and try to make thing better and solve problems.
The kaffe people were kind enough to give me commit access, mainly for being the interface between NetBSD and them.
$ ./validate
XHTML Valid, CSS Valid