[ / home / news / contact / links / debian / teaching / research / pubs / projects / tools / personal / quotes / bio / ]

[quotes]