About Christina 🔜39c3

Hi! I am Christina, welcome to my fediverse account!
I am finishing my CS master's in the Netherlands.
I like type theory, programming languages, verification, separation logic, etc
Feel free to interact for any reason!

Lists

Timeline

{username} has no activity yet