Винницкий институт региональной экономики и управления

Ворошиловградский машиностроительный институт

Харьковский институт радиоэлектроники

Харьковский политехнический институт

Киевское высшее инженерно-авиационное военное училище

• выполнял разрабатку архитектуры компьютера и синтез логических (переключательных) схем;
• проводил исследования в области дискретной математики;
• разработал теоретико-множественной модель задачи комбинаторной оптимизации;
• предложил новые методы упрощения задач комбинаторной оптимизации и построил двойственную модель для них;
• предложил новую интерпретацию недетерминированной машины Тьюринга;
• определил новый подкласс задач класса NP (задачи без предвидения);
• предложил технику решения конструктивных комбинаторных задач;
• предложил логическую модель задачи поиска гамильтонова цикла в графе;
• ввел понятие вершинно-насыщенного орграфа;
• разработал полиномиально-временной алгоритм нахождения наибольшего независимого множества вершин в неориентированном графе на основе гипотезы о свойствах вершинно-насыщенного орграфа;
• читал лекции в области прикладной и дискретной математики, исследования операций;
• руководил аспирантами;
• ассоциированный член Американского Математического Общества (AMS);
• рецензент журнала "Mathematical Reviews".