The programming languages research group at Cornell includes eight faculty and over two dozen Ph.D. students. We are proud of both our breadth and depth in this core discipline. Cornell has been known from the beginning for its research in programming languages. We have made foundational contributions to type theory, automated theorem proving, and language semantics. A more recent theme has been language-based solutions to important problems such as computer security, networking, and distributed programming. Cornell researchers have also contributed to language implementation, program analysis and optimization, domain-specific languages, and software engineering.<br>The Field of Computer Science is intended for students who are primarily interested in the general aspects of computational processes, both theoretical and practical. Areas of research in the field include algorithms, architecture, artificial intelligence, computer vision, computational biology, concurrency and distributed computing, database systems, machine learning, machine vision, natural language processing, networks, numerical analysis, programming environments, programming languages and methodology, robotics, and theory of computation.