Courses
Courses
An overview of all courses I’m taking or have taken, organized by semester and topic.
Current Courses (Spring 2026)
Cryptography
Spring 2026
Advanced study of cryptographic systems, security protocols, and modern encryption techniques including symmetric/asymmetric encryption, hash...
Software Verification and Validation
Spring 2026
Methods and techniques for verifying and validating software systems, including testing strategies, formal methods, model...
Previous Courses
Fall 2025
Intelligent Systems
Fall 2025 Completed
Introduction to artificial intelligence including search algorithms, game playing, constraint satisfaction, Bayesian networks, probabilistic reasoning,...
View Posts →Logic for Computer Scientists
Fall 2025 Completed
Foundations of logic for computer science including propositional logic, first-order logic, resolution, Herbrand semantics, automated...
View Posts →Theory of Automata
Fall 2025 Completed
Study of formal languages, automata theory, and computational models including finite automata, regular languages, context-free...
View Posts →Summer 2025
Analysis of Algorithms
Summer 2025 Completed
Design and analysis of algorithms including complexity analysis, divide and conquer, dynamic programming, greedy algorithms,...
View Posts →Software Project Management
Summer 2025 Completed
Principles and practices of software project management including planning, estimation, risk management, quality assurance, and...
View Posts →Machine Learning Security
Summer 2025 Completed
Special topics in machine learning security including adversarial attacks, model robustness, privacy-preserving machine learning, and...
View Posts →All Courses
| Course | Semester | Status | Links |
|---|---|---|---|
| Cryptography | Spring 2026 | Active | Blog Posts | Syllabus |
| Software Verification and Validation | Spring 2026 | Active | Blog Posts | Syllabus |
| Intelligent Systems | Fall 2025 | Completed | Blog Posts | Syllabus |
| Logic for Computer Scientists | Fall 2025 | Completed | Blog Posts | Syllabus |
| Theory of Automata | Fall 2025 | Completed | Blog Posts | Syllabus |
| Analysis of Algorithms | Summer 2025 | Completed | Blog Posts | Syllabus |
| Software Project Management | Summer 2025 | Completed | Blog Posts | Syllabus |
| Machine Learning Security | Summer 2025 | Completed | Blog Posts | Syllabus |
Notes
- Course materials and assignments are organized by semester
- Blog posts for each course can be filtered using the course filter on the Blog page
- All course data is stored in
_data/courses.yaml