Lukács Gábor

Lukacs Gabror

 

Gábor Lukács


   
 

Studies, Degrees

  • Transportation Engineer - MSc (2013)

  • Transportation Engineer - BSc (2011)

 

Position

PhD student

 

Address

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

  • e-mail: lukacs.gabor(at)mail.bme.hu

 

Place and Date of Birth

Nagykanizsa, 1989

 

Languages

English, German, Croatian

 

Affiliations

  • 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

 

Projects

 
 

Awards

  • 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

 

Education

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

  • Introduction to development of transport automation systems

 

Developments

  • 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.