Course
CRS-0101-03-005Advanced Computer Systems
advancedactive
Advanced topics in systems including scalable distributed systems, formal methods, and systems security.
Advanced Computer Systems
advancedactive
Also known as: Advanced Systems, Systems Research
| Course name | Advanced Computer Systems |
|---|---|
| Course code | CRS-0101-03-005 |
| Canonical ID | urn:taxonomy:cip-aligned:course:0101-03-005 |
| Level | advanced |
| Status | active |
| Subject | Computer Systems (SUB-0101-03) |
| Discipline | Computer Science (DIS-0101) |
| Category | Computing and Information Sciences (CAT-01) |
Advanced topics in systems including scalable distributed systems, formal methods, and systems security.
Credit hours
| Min | 3 |
|---|---|
| Max | 3 |
| Type | semester |
Contact hours
| Lecture | 3 |
|---|---|
| Lab | 0 |
| Studio | 0 |
| Clinical | 0 |
| Practicum | 0 |
Learning outcomes
- Design scalable distributed system architectures.
- Apply formal methods to systems problems.
- Evaluate systems security trade-offs.