e-mail:szeredi@cs.bme.hu Villamosmérnöki és Informatikai Kar Számítástudományi és Információelméleti Tanszék
|
KUTATÁS
OKTATÁS
Deklaratív programozás, Logikai programozás, Korlátok (constraints), Prolog.
Szemantikus technológiák: szemantikus világháló, szemantikus integráció.
Párhuzamos programozás, Párhuzamos logikai programozás, Programozási nyelvek megvalósítása.