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

 
Biography:
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.