sec1 - UT Computer Science