Regimantas Ričardas Pliuškevičius
Pliuškẽvičius Regimantas Ričardas 1937 07 10Šiauliai 2023 01 22Vilnius, lietuvių matematikas. Habil. dr. (fiziniai m., 2002).
Išsilavinimas ir veikla
1961 baigė Vilniaus universitetą. 1961–77 LSSR mokslų akademijos Fizikos ir matematikos instituto mokslo darbuotojas (1963–67 SSRS mokslų akademijos Matematikos instituto Leningrado skyriaus aspirantas). Nuo 1977 Matematikos ir informatikos instituto (iki 1990 Matematikos ir kibernetikos institutas, 2010–18 Vilniaus universiteto Matematikos ir informatikos institutas) mokslo darbuotojas, nuo 1993 Matematinės logikos skyriaus (nuo 2010 sektorius) vadovas. 1966–70 ir 1973–74 dėstė Vilniaus pedagoginiame institute, 1974–75 Vilniaus inžineriniame statybos institute, 1969–2000 su pertraukomis Vilniaus universitete, 1990–91 Vytauto Didžiojo universitete; docentas (1993). Stažavo Amsterdamo matematikos centre (1978), Stanfordo, Cornellio, Rice’o mokslo centruose, Masačusetso technologijos ir kituose universitetuose (1980).
Regimantas Ričardas Pliuškevičius
1993, 1994 Bergeno, 1995 Uppsalos, 2000 Mančesterio universiteto kviestinis mokslininkas. 1990–2010 skaitė 26 pranešimus tarptautinėse mokslinėse konferencijose.
Mokslinė veikla
Tiria neklasikinės (modalumo, dinaminės, laiko, žinių) logikos sritis, jų įrodymo teoriją (įrodymo paieškos metodus, išsprendžiamumą) ir taikymą informatikoje. Paskelbė daugiau kaip 120 mokslinių darbų.
Knygos
Parašė knygą Susipažinkime su matematine logika (1983).