Programming Languages Faculty

Size: px

Start display at page:

Download "Programming Languages Faculty"

Harry Oliver Thornton
5 years ago
Views:

Pfenning André Platzer Jean Yang Affiliated Faculty Jonathan Aldrich

1 Umut Acar Stephanie Balzer Guy Blelloch Stephen Brookes Karl Crary Matt Fredrikson Robert Harper Jan Hoffmann Dilsun Kaynar Ruben Martins Frank Pfenning André Platzer Jean Yang Affiliated Faculty Jonathan Aldrich Jeremy Avigad Steve Awodey Claire Le Goues Wilfried Sieg Richard Statman

Umut Acar, Associate Professor (CS) umut@cs.cmu.

Current foci include the design and development of abstractions, algorithms, languages, and systems for scalable parallel, dynamic, and interactive computation.

edu/people/faculty/jonathan-aldrich Programming Languages and Software Engineering My research improves the quality of software and the productivity of engineers by expressing and enforcing

2 Umut Acar, Associate Professor (CS) Scalable Parallelism, Dynamic Parallelism, Self-adjusting Computation Broadly construed, I research problems of scalability. Current foci include the design and development of abstractions, algorithms, languages, and systems for scalable parallel, dynamic, and interactive computation. Jonathan Aldrich, Professor (ISR) Director, Software Engineering Ph.D. Program aldrich@cs.cmu.edu Programming Languages and Software Engineering My research improves the quality of software and the productivity of engineers by expressing and enforcing structural and behavioral aspects of software design within source code, typically through language design and type systems. I have contributed to object-oriented typestate verification, techniques for modular reasoning about state, and new object-oriented language models. Stephanie Balzer, Systems Scientist (CS) balzers@cs.cmu.edu Programming Languages and Program Verification I am interested in programming languages, program verification, and type theory, and am currently working on session-typed concurrent programming and its application to real-world concurrent programs that demand sharing. Guy Blelloch, Professor (CS) Associate Dean of Undergraduate Programs guyb@cs.cmu.edu Parallelism, Data Structures and Algorithms, Cache Efficient Parallel Algorithms My research has largely been in the interaction of Algorithms and Programming Languages, much of it in the area of parallel computing.

3 Stephen Brookes, Professor (CS) Semantic models for programming languages and logics for reasoning about the behavior of concurrent programs I have been involved in the development of Concurrent Separation Logic, in collaboration with John Reynolds and Peter O'Hearn. I am currently investigating further extensions to this logic, and working out the semantic underpinnings needed to validate logics that combine concurrency with procedures and communication. Karl Crary, Associate Professor (CS) crary@cs.cmu.edu Programming languages My research interests are in applying programming language technology to improve the development, maintenance, and performance of software systems. I am particularly interested in the application of type theory to systems programming, in mechanization of the metatheory of programming languages, in type-oriented compilation strategies, in type-based certification of machine code, and in the design of practical, high- or low-level programming languages. Matthew Fredrikson, Assistant Professor (CS) mfredrik@cs.cmu.edu Security & Privacy My research focuses on security and privacy issues that lead to failures in real systems. Some of the key outstanding challenges in this area lie in figuring out why promising theoretical approaches oftentimes do not translate into effective defenses. Much of my work is concerned with developing formal analysis techniques that provide insight into the problems that might exist in a system, building countermeasures that give provable guarantees, and measuring the effectiveness of these solutions in real settings. Robert Harper, Professor (CS) rwh@cs.cmu.edu Mathematical principles of programming My current research projects are in computational higher type theory, and in the development of cost semantics for higher-level programming languages. More generally I am interested in constructive mathematics, programming language semantics, program verification, and mechanized proof. All of these subjects are unified in the setting of computational type theory.

Jan Hoffmann, Assistant Professor (CS) janh@cs.cmu.edu http://www.cs.cmu.edu/~janh http://www.csd.cs.cmu.edu/people/faculty/jan-hoffmann Programming languages and formal methods My research areas are programming languages and formal methods.

4 Jan Hoffmann, Assistant Professor (CS) Programming languages and formal methods My research areas are programming languages and formal methods. I am specifically interested in quantitative verification, type systems, static resource analysis of programs, proof assistants, and decision procedures. Dilsun Kaynar, Assistant Teaching Professor (CS) dilsun@cs.cmu.edu Foundations of distributed computing, formal methods, security I am interested in developing modeling and verification methods for a wide range of distributed systems including those that exhibit timing-dependent behavior and possibly interact with the physical world. I have also had continued interest in security. My current topic of interest in this area is accountability. Ruben Martins, System Scientist (CS) rubenm@cs.cmu.edu Constraint Programming, Boolean Satisfiability and Optimization, Software Verification, Program Synthesis The goal of my research is to improve constraint solvers and broaden their applicability in program analysis, synthesis, and security. I have developed several award winning MaxSAT solvers that are widely used in software package upgradeability, computational biology, and course timetabling. My most recent work focuses on program synthesis for data-science-related tasks. Specifically, I am interested in automating a variety of cumbersome data preparation tasks and making the life of data scientists simpler. Frank Pfenning, Professor (CS) fp@cs.cmu.edu Formal Reasoning about Languages for Distributed Computation At the heart of my research lies the desire to understand the principles of programming languages. Programming languages are the key to the programming process and therefore of fundamental importance to computer science. Well-designed programming languages allow fast program development, ease software maintenance, and increase confidence in the correctness of implementations.

5 André Platzer, Associate Professor (CS) Logic in Computer Science, Cyber-Physical Systems, Programming Languages, Formal Methods My research develops the logical foundations of cyber-physical systems to charachterize their fundamental principles and to show how we can design computers that are guaranteed to interact correctly with the physical world. The solution to this challenge is the key to enabling computer assistance that we can bet our lives on. I pursue this challenge with the principled design of programming languages with logics that can provide proofs as correctness guarantees. Jean Yang, Assistant Professor (CS) jyang2@cs.cmu.edu Security, Privacy, and Biological Modeling The goal of my research is to help programmers focus on the interesting functionality of programs. I am interested in designing programming constructs that provide provable guarantees while supporting efficient execution strategies. Application domains of interest include security, privacy, and biological modeling. Public understanding and consumption determine the impact of research. Because of this, I am interested in improving science communication and facilitating commercialization of technical ideas. From I co-directed NeuWrite Boston, a working group of scientists and science writers. To narrow the gap between academia and industry, I co-founded the Cybersecurity Factory, an accelerator for security startups. Jeremy Avigad, Professor (Philosophy) avigad@andrew.cmu.edu Steve Awodey, Professor (Philosophy) awodey@andrew.cmu.edu Claire Le Goues, Assistant Professor (ISR) clegoues@cs.cmu.edu Wilfried Sieg, Patrick Suppes Professor (Philosophy) sieg@cmu.edu Richard Statman, Professor (Mathematics) statman@cs.cmu.edu

By the end of this chapter, you should: Understand what is meant by engineering design. Understand the phases of the engineering design process.

By the end of this chapter, you should: Understand what is meant by engineering design. Understand the phases of the engineering design process. Be familiar with the attributes of successful engineers.