CS5303 - Logical Foundations of Computer ScienceCS5381 - Topics in Software Design: Software ArchitectureCS5350 - Advanced AlgorithmsCS5341 - Advanced Computer ArchitectureCS5353 - Trust & Uncertainty in CyberinfrastructureCS5390 - Software Engineering