Screenshot of my Thunderbird extension Thunderbird extensions
I maintain a few 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. The most complex one replaces the Thunderbird message reader with a conversation view.

go Thunderbird Extensions

XUL Book cover Les cahiers du program­meur
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.

go The website (in French)

CV Preview Résumé
My CV is available online, if anyone is interested.

acrobat In PDF

The author & his projects
Tuesday, September 28th

WELCOME TO THE WEBSITE of Jonathan Protzenko. I am a student at ÉNS Lyon. I'm now a Ph.D. candidate in Computer Science under the direction of François Pottier in the Gallium team at INRIA. My research currently focuses on effects control and affine type systems.
You can contact me at firstName DOT lastName AT ens-lyon.org. 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 an encrypted email.

ON MY SPARE TIME, I spent quite a lot of time in the Mozilla community, especially in the Thunderbird area. Some of my Thunderbird extensions have been done in collaboration with Mozilla Messaging, and I fix bugs in Thunderbird when I have some spare cycles. I own a blog where I talk mostly about Mozilla-related topics, including the latest news on my extensions.

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.