Computer and network security. File system security, Mail system security, and Web security. Intruders, Trojan Horses, and viruses. Projects will involve using currently available security tools. Advanced topics in programming-language translation.
Project provides experience with production-quality translators.
Emphasis on advanced programming-language constructs. CS 242 and CS 354. Abstract machines, relativizations, upper and lower bounds on complexity, recursive hierarchies and alternation, time-space interaction, parallel and randomized complexity classes, approximation algorithms. A study of selected aspects of contemporary software development methodology. Topics are taken from recent research articles.