About Christina

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

Lists

Timeline

exfalso has no activity yet