2026-01-01 Spring 2026 Courses CS6510-19629: Geometry of Data CS6510-16564: Software Logic CS6510-17139: Advanced Embedded Programming CS6888: Software Analysis