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.
TeachingClick 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 BiographyI 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.