Index of /~pkal

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 in Nijmegen since October 2025. Prior to my employment 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.

$ echo cGthbEBjcy5ydS5ubAo= | base64 -d

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 student university page?

Mail Address

Philip Kaludercic 
Faculty of Science 
University of Nijmegen 
Postbus 9010 
6500GL Nijmegen 
The Netherlands

Visiting Address

Room M1.01.12 
Faculty of Science 
Toernooiveld 212 
6525EC Nijmegen