Hi, I am Nor, a PhD student at Uppsala University currently focused on memory safety. I love functional programming and formal methods. She/They 🏳️‍⚧️