About Christina

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

exfalso has no activity yet