Department of Mathematics and Computer Science,
Bronx Community College, CUNY
Office: CP 122
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.
Mathematical Logic, interactive theorem proving, robotics, microprocessors.