About Philip Kaludercic

PhD student working with separation logic (Iris). In my spare time I contribute to Emacs and like to engage with a critical history of computing.

What others have said about me:
"[Philip] has many of the attributes of a high-school bully" -- @flogth, who refused to elaborate.

Lists

Timeline

{username} has no activity yet