Kozsik Tamás

Címlap ___ Oktatás ___ Publikációk ___ Kapcsolat

Kutatási területek

Elosztott/konkurens/párhuzamos programozás
Statikus programelemzés, refaktorálás
Formális helyességbizonyítás, típusrendszerek
Domain-specifikus nyelvek

Projektek vezetése

ParaPhrase: Parallel Patterns for Adaptive Heterogeneous Multicore Systems
ELTE-oldali vezető
(FP7 contract no. 288570, 2013-2015)
Elosztott és sokmagos rendszerek szoftvertechnológiai kérdései
(a TÁMOP-4.2.1/B-09/1/KMR-2010-0003 harmadik alprojektje, 2010-2012)
Verified and Certified Software Components
(TÉT AT-10/2008, 2009-2010)

Szolgálat programbizottságokban

PhDOOS'00, IFL'06, SPLST'09, FOPARA'09, FOPARA'11, SPLST'11, ErlangWS'12, SPLST'13, ICAI'14, TFP'14, SPLST'15.