Hello, my name is Ivan Velickovic.

My biggest passion is to solve problems, particularly problems where the solution helps other people solve their own problems. Software tends to be my favourite medium for doing this.

I'm originally from Aotearoa/New Zealand, right now I'm in Sydney, Australia. Most of my life revolves around working as an "operating systems engineer" at a research institution called Trustworthy Systems.

I primarily work on projects furthering the usability of the seL4 microkernel on projects such as the seL4 Microkit and LionsOS.

Feel free to email me at i.velickovic@unsw.edu.au.