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.

My DNS zone is signed using DNSSEC, and all my SSL/TLS certificates are issued by my own Certificate Authority (which is signed by my PGP key).

I am currently a doctoral student at IRIF, working on semantic program differencing.