Исследованы представления вычислительных моделей в виде абстрактных типов данных, в частности алгебраические, вычислимые и решеточные структуры. Рассмотрены возможности применения логических формализмов (логик) к задачам спецификации и анализа информационных систем. Построены и проанализированы решетки формальных понятий, возникшие при исследовании супрессоров вирусов растений. Изучена Е-интерпретируемость вычислимых алгебраических структур. В качестве применения методов формальных спецификаций были разработаны: формальный математический метод моделирования водных экосистем; монотонная схема разделения секрета, обладающая ключом многоразового пользования; модификация канонического генетического алгоритма позволяющая ускорить процесс сходимости; модель и метод для представления этапов работ проектирования информационных систем в виде сетевой модели оптимального планирования и распределения ресурсов.*