Haroldas Giedra
Haroldas Giedra | |
---|---|
| |
| |
Veikla |
Haroldas Giedra – Lietuvos respublikos informatikos mokslų daktaras.
Biografija
Disertacija
Haroldas Giedra | |
---|---|
Titulas | daktaras |
Disertacijos laipsnis | daktaras |
Disertacijos metai | 2014 m. gruodžio 22 d. |
Mokslų kryptis | Informatika |
Įstaiga | |
Disertacija | Įrodymų sistema koreliatyvių žinių logikai |
Vadovas | Regimantas Ričardas Pliuškevičius |
Gynimo taryba | |
Disertacijos oponentai |
2014 m. gruodžio 22 d. apgynė Lietuvos respublikos informatikos mokslų daktaro disertaciją „Įrodymų sistema koreliatyvių žinių logikai“. Mokslinis vadovas: Regimantas Ričardas Pliuškevičius.