The graduate has a broad overview of theoretical computer science, thoroughly understands the limits and possibilities of computational systems, understands the foundations of cryptography and computer security, knows advanced algorithmic techniques, and is able to apply these techniques to new problems. He also has skills necessary to convey abstract ideas with precision and clarity.

The graduate can apply his skills in the design and analysis of complex systems and in the development of innovative solutions and transformative technologies. The graduate is also well prepared for doctoral studies in theoretical computer science and related areas.