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 am currently a doctoral student at IRIF, working on semantic program differencing.