Az MTA köztestületének tagjai

PhD 1998

Szakterület Logikai programozás
Matematikai Tudományok Osztálya

Foglalkozás Egyetemi docens

Kutatási téma

• (Korlát-)logikai programozás
• Programozási nyelvek megvalósítása
• Szemantikus világháló

Publikációk Szeredi Péter publikációs listája

Szervezeti tagságok

• Informatika- és Számítástudományi Bizottság

Elérhetőségek

• Budapesti Műszaki és Gazdaságtudományi Egyetem
  Villamosmérnöki és Informatikai Kar
  Számítástudományi és Információelméleti Tanszék
  1117 Budapest, Magyar Tudósok Körútja 2.
  Magyarország
  Tel.: +36 1 4632986
  Fax: +36 1 4633147