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