* [[home|index]]
 * [[research|research]]
   * [[publications|research/publications]]
 * [[teaching]]
 * [[hacking]]
   * [[debian|hacking/debian]]
   * [[software|hacking/software]]
 * [[personal]]
   * [[blog]]
 * [[wiki]]
 * [[about]]