Henrikas Pranevičius
Pranẽvičius Henrikas 1941 05 03Kaunas, lietuvių informatikas. L. Pranevičiaus brolis. Habil. dr. (technol. m.; techn. m. dr. 1984).
Išsilavinimas ir veikla
1964 baigė Kauno politechnikos institutą, 1970 – šio instituto Vilniaus filialo aspirantūrą. Nuo 1970 dirbo Kauno politechnikos institute (nuo 1990 Kauno technologijos universitetas), nuo 1985 Valdymo informatikos katedros (1997–2007 Verslo informatikos katedra) vedėjas. Nuo 1994 dar dėstė Vytauto Didžiojo universitete; profesorius (1987). 2004–08 Baltijos šalių operacijų tyrimo asociacijos prezidentas, nuo 2008 viceprezidentas.
Mokslinė veikla
Svarbiausi moksliniai darbai iš sudėtingų sistemų formalaus modeliavimo ir verifikavimo, telekomunikacijų, verslo, logistikos ir biomedicinos sistemų imitacinio modeliavimo. Paskelbė daugiau kaip 240 mokslinių straipsnių.
Knygos
Monografijos: Skaičiavimo sistemų modeliai ir tyrimų metodai (1982, rusų kalba), Kompiuterinių tinklų protokolų specifikavimas ir analizė (Specifikacija i analiz protokolov komp'juternych setej, 1992), Kompiuterinių tinklų protokolų specifikavimas ir analizė agregatiniu būdu (Agregate approach for specification and analysis of computer networks protokols, 1994), Sistemos, specifikuotos Markovo procesais (su Pranu Valakevičiumi, 1996), Įvairių transporto rūšių sąveikavimo modeliai Klaipėdos uoste (Interactions models of various means in Klaipeda harbour, su kitais, 2000), Kompiuterinių tinklų protokolų formalusis specifikavimas ir analizė: agregatinis metodas (2003), Atkarpomis tiesinių agregatų specifikacijų verifikavimas (su Regina Misevičiene, 2006). Vadovėliai: Agentinių sistemų modeliai (su kitais, 2008), Sudėtingų sistemų formalizavimas ir analizė (2008).
Apdovanojimai
LSSR valstybinė premija (1989, su J. K. Staniškiu), Lietuvos mokslo premija (2007).