Regimantas Ričardas Pliuškevičius

Regimantas Ričardas Pliuškevičius

Pliuškẽvičius Regimantas Ričardas 1937 07 10Šiauliai, 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). 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).

Papildoma informacija
Turinys
Bendra informacija
Straipsnio informacija
Autorius (-iai)
Redaktorius (-iai)
Publikuota
Redaguota
Siūlykite savo nuotrauką