Wed 12.23.15
Wed 12.23.15
Wed 12.23.15
Wed 12.23.15
verification, static analysis, compilers, interpreters, memory management, virtual machines, type systems, semantics, domain-specific languages
verification, static analysis, compilers, interpreters, memory management, virtual machines, type systems, semantics, domain-specific languages
verification, static analysis, compilers, interpreters, memory management, virtual machines, type systems, semantics, domain-specific languages
verification, static analysis, compilers, interpreters, memory management, virtual machines, type systems, semantics, domain-specific languages
Programming languages are the most fundamental tool of computer sciences, with thousands of languages already in use and more created every year. At Khoury College of Computer Sciences, our researchers build a deeper understanding of programming languages—from purely functional to object-oriented imperative languages—and their use in practice. Through our Programming Research Laboratory (PRL), researchers incorporate elements of design, mathematics, experimental science, and engineering to develop novel techniques for reasoning with and refining code. This interdisciplinary examination of programming aims to improve the lives of programmers, engineers, and software consumers—all while finding succinct solutions to real-world problems.
Programming languages are the most fundamental tool of computer sciences, with thousands of languages already in use and more created every year. At Khoury College of Computer Sciences, our researchers build a deeper understanding of programming languages—from purely functional to object-oriented imperative languages—and their use in practice. Through our Programming Research Laboratory (PRL), researchers incorporate elements of design, mathematics, experimental science, and engineering to develop novel techniques for reasoning with and refining code. This interdisciplinary examination of programming aims to improve the lives of programmers, engineers, and software consumers—all while finding succinct solutions to real-world problems.
Programming languages are the most fundamental tool of computer sciences, with thousands of languages already in use and more created every year. At Khoury College of Computer Sciences, our researchers build a deeper understanding of programming languages—from purely functional to object-oriented imperative languages—and their use in practice. Through our Programming Research Laboratory (PRL), researchers incorporate elements of design, mathematics, experimental science, and engineering to develop novel techniques for reasoning with and refining code. This interdisciplinary examination of programming aims to improve the lives of programmers, engineers, and software consumers—all while finding succinct solutions to real-world problems.
Programming languages are the most fundamental tool of computer sciences, with thousands of languages already in use and more created every year. At Khoury College of Computer Sciences, our researchers build a deeper understanding of programming languages—from purely functional to object-oriented imperative languages—and their use in practice. Through our Programming Research Laboratory (PRL), researchers incorporate elements of design, mathematics, experimental science, and engineering to develop novel techniques for reasoning with and refining code. This interdisciplinary examination of programming aims to improve the lives of programmers, engineers, and software consumers—all while finding succinct solutions to real-world problems.
The Programming Research Laboratory (PRL) at Khoury College is home to some of the world’s most meaningful advances in programming language theory and practice. Through innovative methods of writing and implementing code—and translating new abstractions into practice—our researchers continually refine programming languages and their application for programmers, consumers, and other areas of computer science. As a doctoral or graduate student, you’ll engage in interdisciplinary research and investigation, working alongside researchers who understand the value of practical programming language implementation across various hardware and software configurations.
The Programming Research Laboratory (PRL) at Khoury College is home to some of the world’s most meaningful advances in programming language theory and practice. Through innovative methods of writing and implementing code—and translating new abstractions into practice—our researchers continually refine programming languages and their application for programmers, consumers, and other areas of computer science. As a doctoral or graduate student, you’ll engage in interdisciplinary research and investigation, working alongside researchers who understand the value of practical programming language implementation across various hardware and software configurations.
The Programming Research Laboratory (PRL) at Khoury College is home to some of the world’s most meaningful advances in programming language theory and practice. Through innovative methods of writing and implementing code—and translating new abstractions into practice—our researchers continually refine programming languages and their application for programmers, consumers, and other areas of computer science. As a doctoral or graduate student, you’ll engage in interdisciplinary research and investigation, working alongside researchers who understand the value of practical programming language implementation across various hardware and software configurations.
The Programming Research Laboratory (PRL) at Khoury College is home to some of the world’s most meaningful advances in programming language theory and practice. Through innovative methods of writing and implementing code—and translating new abstractions into practice—our researchers continually refine programming languages and their application for programmers, consumers, and other areas of computer science. As a doctoral or graduate student, you’ll engage in interdisciplinary research and investigation, working alongside researchers who understand the value of practical programming language implementation across various hardware and software configurations.
