476 reputation
2 2

finrod

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