COL872: Lattices in Computer Science