Бибило Петр Николаевич родился в 1953 году в д. Нацевичи Мостовского района Гродненской области. В июне 1970 г. закончил среднюю школу и в сентябре того же года был зачислен на первый курс отделения математики физико-математического факультета Гродненского пединститута им. Я. Купалы, который с отличием окончил в 1974г., за время учебы все экзамены сдал на «отлично», получал Ленинскую стипендию. После окончания службы (1974 – 1975) в рядах Советской армии в ноябре 1975 г. поступил в очную аспирантуру Объединенного института проблем информатики НАН Беларуси (тогда Институт технической кибернетики АН БССР). В 1980 г. под руководством чл.-корр. НАН Беларуси А.Д. Закревского защитил кандидатскую диссертацию «Разработка комбинаторных методов синтеза дискретных устройств». В 1992 г. защитил диссертацию на соискание ученой степени доктора технических наук. С 1994 г. является заведующим лабораторией логического проектирования Объединенного института проблем информатики НАН Беларуси, с которым неразрывно связана вся его трудовая деятельность. В 1999 г. ВАК Беларуси присвоил Бибило П.Н. звание профессора.
Основные научные результаты Бибило П.Н. относятся к теории логического проектирования цифровых (дискретных) устройств, основные направления – разработка методов синтеза цифровых устройств с использованием современной элементной базы сверхбольших интегральных схем (СБИС), автоматизация процессов проектирования (синтеза, моделирования и функциональной верификации) заказных цифровых СБИС, разработка архитектур систем автоматизированного проектирования (САПР).
Разработал методы декомпозиции булевых функций и систем, основанные на решении логических уравнений, методы декомпозиции интервальных форм систем булевых функций и бинарных диаграмм решений. В отличие от известных, предложенные методы декомпозиции позволяют получить все решения разнообразных задач декомпозиции, что обеспечивается использованием универсального аппарата логических уравнений. Так как логическое уравнение может быть представлено в виде конъюнктивной нормальной формы (КНФ), то задача нахождения решений сведена к известной задаче о выполнимости КНФ (SAT-problem).
Разработал методы оптимизации и синтеза цифровых устройств в базисе настраиваемых (универсальных логических модулей, мультиплексоров) и программируемых структур, обобщил на случай интервальных форм систем булевых функций и конечных предикатов метод каскадов Шеннона-Поварова. Методы декомпозиции систем булевых функций были обобщены на случай декомпозиции конечных предикатов и применены для декомпозиции программируемых логических матриц (ПЛМ) с дешифраторами на входах. Получены оценки сложности схем в базисах мультиплексоров, ПЛМ, программируемых матриц логики, оценена площадь матриц Вайнбергера. На основе решения графовых задач разработал методы и алгоритмы минимизации площади матричных структур, предложил ряд новых структур заказных цифровых СБИС.
Цикл научных работ по решению логико-комбинаторных задач синтеза структур СБИС обобщен в изданной им монографии «Синтез комбинационных ПЛМ-структур для СБИС. ? Минск: Наука и техника, 1992. ? 232 с.».
Цикл работ по декомпозиции булевых функций завершен изданием монографии «Декомпозиция булевых функций на основе решения логических уравнений. – Минск: Беларуская навука, 2009. – 211 с.».
Цикл работ по оптимизации многоуровневых представлений систем полностью и не полностью определенных булевых функций завершен изданием монографии «Применение диаграмм двоичного выбора при синтезе логических схем. – Минск: Беларуская навука, 2014. – 231 с.».
Разработал взаимосогласованный набор языков, позволяющих поддерживать процесс сквозного проектирования управляющей логики заказных цифровых СБИС, и информационную технологию «кремниевой компиляции» для функциональных блоков, реализующих управляющую логику. Технология проектирования описана в книге «Кремниевая компиляция заказных СБИС. ? Минск: Ин-т техн. кибернетики АНБ, 1996. ? 268 с.», рекомендованной Министерством образования Республики Беларусь как учебное пособие для студентов вузов, и реализована в системе SCAS (Silicon Compiler of National Academy of Sciences of Belarus). Система SCAS на момент создания была лучшей в странах СНГ и конкурентоспособной с зарубежными системами проектирования топологии матричных структур СБИС.
Предложил применять логические методы искусственного интеллекта в системах автоматизированного логического проектирования цифровых систем на основе продукционно-фремовой модели представления знаний и соответствующих методов логического вывода. Фреймовая модель позволяет выделить «рамки» описания проектных ситуаций, продукционная модель дает возможность описать проектные действия в экспертном режиме работы системы автоматизированного проектирования. Проблемная область связана с объектами проектирования, языками их описания на различных уровнях и методами проектирования ? методами детализации, экстракции, оптимизации, верификации объектов проектирования. Логические выводы используют атрибуты, характеризующие проект и программные модули, экспертными знаниями являются сведения о цепочках проектных процедур и операций (о маршрутах проектирования). Полученные результаты в данном направлении исследований представлены в подготовленной им совместно с Романовым В.И. монографии «Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний. – Минск: Беларуская навука, 2011. – 279 с.».
Руководил разработкой и непосредственно участвовал в создании 17 пакетов прикладных программ логического проектирования цифровых устройств. Руководил выполнением десятков проектов и заданий Государственных программ научных исследований, Государственных научно-технических программ, заданий программ Союзного государства, проектов Белорусского фонда фундаментальных исследований, в том числе были выполнены 11 проектов и три хозяйственных договора в интересах ОАО «ИНТЕГРАЛ».
Инициатор внедрения в отечественную практику проектирования цифровых систем языка VHDL, являющегося международным стандартом (VHDL ? Very high speed integrated circuits Hardware Description Language – язык описания аппаратуры сверхскоростных интегральных схем). По технологиям и системам проектирования на основе языка VHDL опубликовал в издательстве URSS (г. Москва) пять монографий, в том числе несколько раз переизданную и получившую широкую известность монографию «Синтез логических схем с использованием языка VHDL ? Москва: Солон-Р, 2002. ? 384 с.».
Автор более 400 научных работ, в том числе 10 монографий и 4 учебных пособий, которые получили гриф Министерства образования Республики Беларусь и рекомендованы в качестве учебных пособий для вузов. Написанное им учебное пособие «Основы языка VHDL» выдержало девять изданий в издательстве URSS (г. Москва), сборник задач по проектированию логических схем выдержал три издания того же издательства. Инициатор создания (2005 г.) русскоязычного сайта по языку VHDL описания цифровых систем.
Подготовил 8 кандидатов наук, был руководителем четырех магистерских диссертаций и нескольких десятков дипломных работ. Принимал участие в подготовке специалистов микроэлектронной промышленности, работая по совместительству Белорусском государственном университете (1988 г. – 2006 г.) и Белорусском государственном университете информатики и радиоэлектроники (2003 г. – 2021 г.). Неоднократно был Председателем государственных экзаменационных комиссий в данных вузах.
Являлся председателем Оргкомитетов семи международных научных конференций «Computer-Aided Design of Discrete Devices» (1995г. ? 2010 г.) и членом программного комитета и руководителем секций восьми Всероссийских конференций «Проблемы разработки перспективных микро- и наноэлектронных систем».
Является членом докторского совета по защите диссертаций, членом редколлегии журнала «Информатика» и членом экспертного совета Министерства промышленности Республики Беларусь. Более 15 лет был членом экспертного совета ВАК Беларуси. За полученные результаты в сфере профессиональной деятельности распоряжением Президента Республики Беларусь получал (2002 г.) стипендию Президента Республики Беларусь.
Награды: медаль Франциска Скорины (2015), премия НАН Беларуси (2019), юбилейные медали «В честь 80-летия НАН Беларуси» и «В честь 90-летия НАН Беларуси», Почетные грамоты НАН Беларуси и ВАК Беларуси.
Лаборатория логического проектирования Объединенного института проблем информатики НАН Беларуси (2004 г.)