finrod
1,398
reputation
11
8
I'm a PhD student at the IT University of Copenhagen in the Programming, Logic and Semantics group.