Gleb Naumovich

Assistant Professor
Department of Computer and Information Science
Polytechnic University, Brooklyn

Polytechnic University
5 MetroTech Center
Brooklyn, NY 11201

Office: LC228
Phone: (718) 260-3554
Fax: (718) 260-3609

Research interests

My research interests are in the areas of software engineering and programming languages. My research focuses on development of effective and efficient tools for automatically proving properties about concurrent programs. At present, I am working on optimizing finite state verification approaches. I am also interested in issues of application security and intellectual property protection. Click here for a page with a description of his current, previous, and potential future research projects.


Online copies of recent publications are made available as a means to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are maintained by the authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each copyright holder. In most cases, these works may not be reposted without the explicit permission of the copyright holder.


Click on the following links for course descriptions. Course materials are available from pages on MyPoly portal.
Current (Fall 2004):
Design and Implementation of Programming Languages (CS3314)
Object-Oriented Analysis and Design with Java (CS910)
Application Security (CS 916)
Software Engineering I (CS606)
Software Engineering II (CS607)

Short Biography

I received Ph.D. in 1999 from the Department of Computer Science at the University of Massachusetts, Amherst, where I worked on the FLAVERS finite state verification system under the direction of Professor Lori A. Clarke. I also received an M.S. in Computer Science in 1995 from the University of Massachusetts, Amherst. Before that, I studied for three years at Belarusian State University in Minsk, Belarus and then transferred to Lafayette College, Pennsylvania. I am a recipient of the 2001 National Science Foundation CAREER award.