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.