Mathematics at Penn is a lively, wide-ranging discipline taught in a highly-ranked department by nationally and internationally known mathematicians. The traditional core areas of mathematics are well-represented, as well as newly developing areas. Penn is one of the world's leading centers in the application of logic to theoretical computer science.