Tamás Kozsik

Distributed/concurrent/parallel programming
Static program analysis, refactoring
Formal program verification, type systems
Domain-specific languages

PI in ParaPhrase: Parallel Patterns for Adaptive Heterogeneous Multicore Systems
(FP7 contract no. 288570, 2013-2015)
Leader of Software technologies of distributed and manycore systems
(3rd subproject of TÁMOP-4.2.1/B-09/1/KMR-2010-0003, 2010-2012)
Leader of Verified and Certified Software Components
(TÉT AT-10/2008, 2009-2010)