![[ICO]](/~pkal/static/icons/blank.gif){kind=icon}
![[PARENTDIR]](/~pkal/static/icons/back.gif){kind=icon}
![[DIR]](/~pkal/static/icons/folder.gif){kind=icon}
![[ ]](/~pkal/static/icons/layout.gif){kind=icon}
![[ ]](/~pkal/static/icons/script.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| notes/ | 2025-12-02 09:59 | - | |
| cv.pdf | 2025-12-10 09:23 | 7.2K | |
| iris-input.el | 2025-10-30 10:25 | 7.7K | |
Welcome to my academic homepage — my name is Philip Kaluđerčić. I am a PhD student at the Software Science Group at Radboud University since October 2025. Prior to my studies here I finished my Master in Computer Science at the University of Erlangen-Nuremberg (FAU) in Germany.
My advisor is Robbert Krebbers and I work with the Iris Framework (using the Rocq proof assistant) on the COCONUT
project. My research involves verified compilation.
If you wish to send my an encrypted message, you can find my OpenPGP key here.
In case this is not the site you wanted, perhaps you were looking to find my personal homepage or my previous/student university homepage?