 English
  English 
 
|  | 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.