Matùlis Vilius 1933 01 01Mumeliškės (Antalieptės vlsč., Zarasų apskr.) 2009 03 05Vilnius, Lietuvos matematikas, vienas matematinės logikos ir informatikos tyrimų Lietuvoje pradininkų. Dr. (fiziniai m.; fiz. ir mat. m. kand. 1964).
1956 baigęs Vilniaus universitetą iki 1958 dėstė Vilniaus statybos technikume. 1958–61 Matematikos instituto Maskvoje aspirantas. 1961–93 dirbo Matematikos ir informatikos institute (iki 1977 Fizikos ir matematikos, 1977–90 Matematikos ir kibernetikos institutas), 1962–64 Matematinės logikos ir algoritmų teorijos, nuo 1964 Matematinės logikos ir programavimo skyriaus vadovas.
Svarbiausių tyrimų sritis – matematinių metodų ir skaičiavimo mašinų taikymas planavimo ir valdymo uždaviniams spręsti, programinės įrangos kūrimas.
Parašė knygą Sistema „Vilnius“. Koncepcijos, struktūra ir jos panaudojimo technologija (su A. Čaplinsku, 1981, rusų kalba).
LSSR Ministrų Tarybos premija (1987).