Dr. Romas Alonderis
Padalinys Kibersocialinių sistemų inžinerijos grupė
Pareigos: mokslo darbuotojas
Dirba: Akademijos g. 4, 228 kab., Vilnius
Telefonas (8 5) 210 9317
Elektroninis paštas
Mokslinė ir pedagoginė kvalifikacija
Matematikos mokslų daktaras (01 P). Disertacijos tema: „Laiko logikos su laiko tarpsniais įrodymo teorijos nagrinėjimas", (2001 m.)
Moksliniai interesai
- klasikinės ir neklasikinių logikų įrodymo teorija,
- įrodymo paieškos automatizavimas,
- logikos taikymas informatikoje
Dalyvavimas vykdant mokslines temas
- Įrodymų paieškos metodai neklasikinėms logikoms ir komunikacinis sudėtingumas
Mokslinė produkcija
Publikacijos su VU DMSTI ir MII prieskyra
Pranešimai mokslinėse konferencijose
- Lietuvos matematikų draugijos konferencija: Indeksuotas daugiasukcedentinis konstruktyvinės logikos skaičiavimas su apverčiamomis taisyklemis.
- Lietuvos matematikų draugijos konferencija: Apie intuicionistinę skaidaus laiko logiką su silpna indukcija.
- Lietuvos matematikų draugijos konferencija: Santykis tarp klasikinio ir intuicionistinio laiko logikos sekvencinių skaičiavimų.
- Lietuvos matematikų draugijos konferencija: Struktūrinių bei pjūvio taisyklių leistinumas sekvenciniame laiko logikos su predikatais = ir > skaičiavime.
Kita veikla
Lietuvos matematikų draugijos narys