Thunderbird extensions
I maintain two Thunderbird add-ons. The first one allows you to
manually order your folders in the folder pane. Now you can put your
most important folders on top of the list. The second one allows you
to painlessly include $\LaTeX$ in your emails.
Les cahiers du programmeur
I wrote a book a long time ago. The associated website is still
online, although it's been quite some time since I last updated it.
The slides of my 2006 presentation at Solutions Linux with Benoît
Picaud are available there.
Résumé
My CV is available online, if anyone is interested.
The author & his projects
Tuesday, September 28th
WELCOME TO THE WEBSITE of Jonathan Protzenko. I am a student at ÉNS Lyon. I'm now in M2
(equivalent to the final year of a master's degree) of Computer
Science. I expect to start a Ph.D next september. My research
interests range from programming languages (esp. OCaml) to compilation
and processor design.
You can contact me at firstName DOT lastName AT ens-lyon.fr. I also
have a phone and a real address, these are in my résumé. My GPG key is
available here.
Alternatively, gpg --recv 4F7509A0 will do the trick. Feel
free to use it, I always enjoy receiving a signed email.
ON A PERSONAL NOTE, I'm back from Singapore, which means that my former travel blog is no
longer updated. Some of the work I did while in Singapore can be found
in the "Research" section. As I have quite some free time right now,
I'm trying to put together some Thunderbird add-ons. You will find
them in the "Firefox & Thunderbird" section on the left.
If you are interested, there is a link to my resume on the left. It
should be (rather) up-to-date. I also have a LinkedIn
profile, do not hesitate to ping me if we've been working together.
THIS IS THE FIFTH VERSION of this website. It now contains everything
related to my research as well as my personal projects: school
reports, old useless programs, Thunderbird extensions. It will grow as
I add some material. Everything is now in English, I won't do a French
translation.
As usual, this website uses very recent CSS features. CSS Transforms
are used for the menu on the left, as well as border-radius.
Web Fonts are also used, namely Graublau web and Fontin. The text you
are reading uses CSS3 Columns, and the outer box uses
box-shadow. This website should look pretty good in Firefoxes
> 3.5, or recent versions of Safari and Google Chrome. As usual,
this website will look awful in IE, but it should fallback nicely.