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