Doctor of Philosophy in Computer Science - Programming Languages and Software Engineering

Today, the systems of interest involve multi/many-core processors, embedded and distributed systems, and mobile and web applications. Our Programming Languages & Software Engineering (PL & SE) group works on both performance optimizations and correctness problems for such systems, with research that focuses on a wide range of issues, from providing new abstractions for expressing parallelism, security, and real-time properties, to devising new program analysis and compiler optimization techniques, to examining managed runtimes and dynamic optimizations, to defining new techniques for testing and debugging modern software systems. Current practice in software engineering requires developers to spend enormous effort to produce software that is mostly correct at best. Unfortunately, bugs can cost an enterprise millions of dollars, and security vulnerabilities can have catastrophic effects.

• 獎學金 - 查看所有獎學金
• 實習機會