Department of Computer Science, Polytechnic University, Brooklyn, NY
USA

Gleb Naumovich received a PhD in Computer Science from the University of Massachusetts, Amherst in 1999. His research interests are in the areas of software engineering, programming languages, application security, and intellectual property protection. His current work focuses on optimizing model checking tools for software. He also works on developing static techniques for detection of security bugs in distributed Java programs.