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. 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. In depth study of current trends and advanced topics in targeted areas of computer science.