Spring 2026 Courses

An overview of courses for Spring 2026 semester at Texas Tech University.


Current Courses

### Cryptography (CS-6343)

Cryptography

CS-6343 | Spring 2026

Advanced study of cryptographic systems, security protocols, and modern encryption techniques.

### Software Verification and Validation (CS-5374)

Software Verification and Validation

CS-5374 | Spring 2026

Methods and techniques for verifying and validating software systems, including testing, formal methods, and quality assurance.


Course Materials Organization

All course materials are organized in the coursework/Spring2026/ directory:

  • Cryptography: /coursework/Spring2026/cryptography/
  • Software Verification: /coursework/Spring2026/software-verification/

Each course has:

  • syllabus.yaml - Course schedule and lecture metadata
  • AGENT_INSTRUCTIONS.md - Instructions for course assistant agents
  • _lectures/ - Organized lecture materials (slides, transcripts, videos, notes)
  • _assignments/ - Assignment materials
  • _resources/ - Additional resources and references
  • _output/ - Generated content (markdown, LaTeX)

Notes

  • Course materials are automatically organized by dedicated agents
  • Lecture materials are downloaded from Canvas LMS
  • Calendars are synchronized between Canvas and Gmail
  • Daily summaries are created after each lecture
  • Additional resources are researched and added for each lecture topic