< * KindSoftware Research Group
< * Department of Computer Science
< * University College Dublin
< * http://secure.ucd.ie/
> * [http://www.kindsoftware.com KindSoftware Research Group]
> * [http://www.itu.dk/ IT University of Copenhagen]
< I am a computer scientist originally from Caltech who lives in Emacs.
> I am a computer scientist/logician originally from Caltech who lives inside of Emacs.