Основным научным направлением лаборатории логического проектирования (ЛЛП) является разработка методов и программного обеспечения для проектирования дискретных устройств и логического распознавания. В рамках этого направления исследования проводятся в следующих областях:

• алгоритмы логического управления параллельными процессами;
• автоматизация проектирования сверхбольших интегральных схем и дискретных устройств;
• распознавание образов в пространстве дискретных признаков;
• комбинаторные задачи логического проектирования и искусственного интеллекта;
• специализированные средства программирования и языки.

За 2000-2001 гг. сотрудниками института опубликовано: монографий - 9 (из них 3 за рубежом), сборников научных трудов - 10, материалов конференций и тезисов докладов - 8, брошюр - 5, препринтов - 21, статей - 261 (из них 59 за рубежом), докладов и тезисов докладов - 448 (из них 205 за рубежом).

В институте ведется подготовка научных кадров в аспирантуре (с 1965 г.) и докторантуре (с 1988 г.). Работает совет по защите диссертаций на соискание ученой степени доктора наук. За 2000-2002 гг. сотрудниками института защищены 3 докторские и 11 кандидатских диссертаций.

В институте организовано обучение работ-ников промышленных предприятий.