finrod

241
reputation
1
5

I'm a PhD student at the IT University of Copenhagen in the Programming, Logic and Semantics group.