Nevezetes heurisztikus gráfkereső algoritmusok hatásának és számítási költségének elemzése

Probléma, program, megoldás fogalmainak definiálása. A szekvencia, az elágazás,a  ciklus, a párhuzamos blokk teljes és parciális helyessége.

Célunk megtanítani a számítógépeket a programkód megértésére, írására, és javítására.

Néhány most futó projektünk: - programszintézis input-output példák alapján (program generálása ami adott inputokból előállítja az adott outputokat) - programszintézis szövegből (programozási beadandó szöveges leírásából a feladatot megoldó program legenerálása) - szemantikus programhibák felismerése, amire a hagyományos statikus ellenőrzők nem képesek - kód idiomatizálása: nem idiomatikus kódrészletek keresése és javítása - kód duplikátumok felismerése akkor is, ha szintaktikus szinten különböznek