Welcome

Hi, my name is Thibaut Girka, and this is my personal website. You can contact me by e-mail or on xmpp, my PGP key is E63454D3A7FE5DD6.

I recently finished my PhD at IRIF, working on semantic program differencing. You can read my thesis.