![[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-11-13 10:47 | 7.2K | |
| iris-input.el | 2025-10-30 10:25 | 7.7K | |
Welcome to my academic homepage — my name is Philip Kaluđerčić (pronounced just as written). I am a PhD student in 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 old university homepage?