Летичевський Олександр Адольфович — працює в галузі формальних методів, винахідник інсерційного моделювання Провотар Олександр Іванович — працює в галузі абстрактних обчислювальних структур (теорія категорій), некласичних логік, біоінформатики