Lukács Gábor

Lukacs Gabror


Gábor Lukács


Studies, Degrees

  • Transportation Engineer - MSc (2013)

  • Transportation Engineer - BSc (2011)



PhD student



  • H-1111 Budapest Stoczek str. 2. St. ép. 108.

  • e-mail: lukacs.gabor(at)


Place and Date of Birth

Nagykanizsa, 1989



English, German, Croatian



  • Műszer Automatika Group

  • 2012 - 2016 development engineer

  • 2016 - head of development


Research Fields

  • modelling of railway transport systems

  • verification and validation

  • formal methods

  • safety critcal (railway) systems

  • Formal Methods Research Group





  • 2011 - Participation on the Conference of the Association of Scientific Students

  • 2011 - Participation on the 30th Conference of the Hungarian Association of Scientific Students

  • 2010 - 2st and 3st prize on the Conference of the Association of Scientific Students

  • 2009 - 2st prize on the Conference of the Association of Scientific Students



  • Elektrotechnics and electronics I. - II. (BSc)

  • Introduction to development of transport automation systems



  • 2013 - 2014: TsLC (road railway)

  • 2014 - 2015: TsSL-OB (road railways)


Guest Lectures

  • System Development (Summary and Overwiew) 2016 - BME, Department of Transport Technology and Economics

  • Formal methods in the railway interlocking system development 2018 - OE, Kálmán Kandó Electrical Engineering College

  • Formal methods in the development of the railway interlocking systems (Model checking and temporal logic) 2018 - Education and Product Presentation (Műszer Automatika Ltd., 8 ocassion)

We use cookies

We use cookies on our website. Some of them are essential for the operation of the site, while others help us to improve this site and the user experience (tracking cookies). You can decide for yourself whether you want to allow cookies or not. Please note that if you reject them, you may not be able to use all the functionalities of the site.