KRÁLIK Barnabás

 PhD student
 The Foundations and Methodology of Informatics
 ELTE PhD School of Computer Science

 Supervisor: Dr. KOZSIK Tamás
Eötvös Loránd University
Faculty of Informatics
Department of Programming Languages and Compilers
Eötvös Loránd University

Publications Magyarul

Research projects

  • EITKIC_12-1-2012-0001: Cyber-Physical Systems, 2013-2014 (DSL for Cyber-Physical Workflows. Correctness checking of Cyber-Physical Workflows)
  • TÁMOP-4.2.1/B-09/1/KMR-2010-0003 (Social Renewal Operative Programme) subproject 3: Software technologies of distributed and manycore systems, 2011.

Social activity

  • ELTE Council of PhD students, representative (committee of education) (2013-2015)
  • Association of Hungarian PhD and DLA Students - Scientific Section of Mathematics and Computer Science, member (2013-2016), vice president (2013-2014)


  • Programming languages - Java (seminar) (2012-2013-1)
  • Programming languages - Ada (seminar) (2012-2014)
  • Programming (seminar) (2011-2012)
  • Introduction to programming / Methodological foundations of progamming (2010-2013)

EIT Digital

  • Student of the Budapest DTC (2013-)
  • Research visit at STMicroelectronics, Torino (2014-2015)

email: postal address:
ELTE IK, Programozási Nyelvek és Fordítóprogramok Tanszék
Pázmány Péter sétány 1/C.
H-1117 Budapest

Last edited:

Valid XHTML 1.0 Transitional Valid CSS!