Az MTA köztestületének tagjai

a matematikai tudomány kandidátusa 1986

Szakterület Algebrai logika és logika
Matematikai Tudományok Osztálya

Kutatási téma

• Algebrai logia (cilindrikus-, poliadikus-, reláció algebrák, kategóriaelméleti logika)
• Elméleti számítástudomány szemantika-orientált része (programok logikájának modellelmélete, programvertifikáció stb.)
• Nem-klasszikus logikák és algebrai vizsgálatuk (multimodális-, temporális-, dinamikus-, nyíl logikák)

Publikációk Sain Ildikó publikációs listája

Szervezeti tagságok

• Matematikai Tudományos Bizottság

Elérhetőségek

• HUN-REN Rényi Alfréd Matematikai Kutatóintézet
  Algebrai Logika
  1053 Budapest, Reáltanoda utca 13-15.
  Magyarország