Natalia Novak's web page

Assistant Professor,
Department of Mathematics and Computer Science,
Bronx Community College, CUNY

Office: CP 312
Phone: (718) 289-5100 ext. 3413

Ms.C. in Mathematics from Moscow State University, Russia.
Ph.D. in Computer Science from Graduate School and University Center, CUNY, NYC.
Research Interests:
Mathematical Logic, interactive theorem proving, robotics, microprocessors.