Az MTA köztestületének tagjai

a matematikai tudomány kandidátusa 1980

Szakterület Formális nyelvek, programozáselmélet, adatbázisok, biztonságkritikus rendszerek
Matematikai Tudományok Osztálya

Foglalkozás főiskolai tanár

Kutatási téma

• Biztonságkritikus rendszerek modellezése
• Párhuzamos rendszerek leírása formális nyelvekkel

Publikációk Szíjártó Miklós publikációs listája

Szervezeti tagságok

• Informatika- és Számítástudományi Bizottság
• Veszprémi Területi Bizottság

Elérhetőségek

• Széchenyi István Egyetem
  Építész-, Építő- és Közlekedésmérnöki Kar
  Matematika és Számítástudomány Tanszék
  9026 Győr, Egyetem tér 1.
  Magyarország