Az MTA köztestületének tagjai

PhD 2006

Szakterület Programozási nyelvek
Matematikai Tudományok Osztálya

Foglalkozás Egyetemi docens, dékánhelyettes

Kutatási téma

• Formális helyességbiztosítás
• Párhuzamos és elosztott programozás
• Programanalízis
• Programozási nyelvek
• Típusrendszerek

Publikációk Kozsik Tamás publikációs listája

Szervezeti tagságok

• Informatika- és Számítástudományi Bizottság (szavazati jogú tag)

Elérhetőségek

• Eötvös Loránd Tudományegyetem
  Informatikai Kar
  Programozási Nyelvek és Fordítóprogramok Tanszék
  1117 Budapest, Pázmány Péter sétány 1/C
  Magyarország
  Tel.: +36 1 3722500 / 8501
  Email: kto@elte.hu
  Honlap: http://kto.web.elte.hu/