compsci6700's public page