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. For the past 4 years, I spent most of my time working as an "operating systems engineer" at a research institution called Trustworthy Systems.

I primarily worked 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.