W wyniku postępowania konkursowego prof. dr hab. inż. Wojciech Penczek decyzją Prezesa PAN objął funkcję dyrektora Instytutu Podstaw Informatyki PAN z siedzibą w Warszawie. To jego kolejna kadencja na tym stanowisku – dyrektorem instytutu jest od 2019 r.

Prof. Wojciech Penczek ukończył studia informatyczne na Politechnice Warszawskiej. Specjalizuje się w zagadnieniach z zakresu informatyki, w tym informatyki teoretycznej, logiki temporalnej i epistemicznej. Interesuje się także metodami i technikami programowania, systemami rozproszonymi oraz weryfikacją systemów współbieżnych.

Jest profesorem w Instytucie Podstaw Informatyki PAN oraz w Instytucie Informatyki na Wydziale Nauk Ścisłych i Przyrodniczych Uniwersytetu Przyrodniczo-Humanistycznego w Siedlcach.

Sprawowanie funkcji dyrektora IPI PAN profesor rozpoczął w dniu 1 marca 2023 r. na okres czteroletniej kadencji.