Horpácsiné Kőszegi Judit
egyetemi tanársegéd
Elérhetőségek
Hivatkozások
Tudományági besorolások
- 1.2 Számítógéptudomány és informatika tudomány
- Informatika tudomány
Főbb kutatási területek
Jelentésmegőrző programtranszformációk helyességvizsgálata
Kutatásom során elosztott funkcionális programok formális szemantikájával, a programokon értelmezett jelentésmegőrző programtranszformációk helyességvizsgálatával foglalkozom.