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.