Our programming languages research spans many areas and includes type systems, language design, type inference, efficient implementation of higher-order typed languages, side effects, concurrency, security, and metaprogramming.
Our researchers also investigate a broad variety of theoretical problems with the goal of gaining insights into some of the most important issues in computer science today. Active research areas include streaming algorithms, pseudorandomness, approximation algorithms, theoretical networking, hardness of approximation, and cryptography.
Research Groups and Labs
Algorithms and Complexity
Studying a broad variety of theoretical problems to gain insight into some of the most fundamental problems of computer science.
Programming Languages Laboratory
Focusing on fundamental problems in programming languages.
People
-
Vladimir Braverman
ProfessorEmail:vbraver1@jhu.eduPhone:410-516-4975 -
Michael Dinitz
Associate ProfessorEmail:mdinitz1@jhu.eduPhone:410-516-6251 -
Email:susan@cs.jhu.edu
-
Email:abhishekjain@jhu.eduPhone:410-516-4276
-
Email:skosara1@jhu.eduPhone:410-516-8134
-
Email:xli113@jhu.eduPhone:410-516-5847
-
Email:scott@cs.jhu.eduPhone:410-516-5299
-
Email:jess@jhu.edu
Computer scientists take fresh run at classic ski rental problem
Researchers seek optimal choices at the ski lodge and inside the operating system.