|
|
Assistant Professor |
Polytechnic University 5 MetroTech Center Brooklyn, NY 11201 Office: LC228 Phone: (718) 260-3554 Fax: (718) 260-3609 Email:gleb@poly.edu |
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.Publications
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.
Teaching
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)
Previous:
Object-Oriented Analysis and Design with Java (CS910)
Application Security (CS 916)
Software Engineering I (CS606)
Software Engineering II (CS607)