Gábor Lukács

Studies, Degrees

Transportation Engineer - MSc (2013)

Transportation Engineer - BSc (2011)

Position

PhD student

Contact

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

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

Place and Date of Birth 

Nagykanizsa, 1989

Languages

English, German, Croatian

Research Fields

- modelling of railway transport systems

- verification and validation

- formal methods

- safety critcal (railway) systems

Formal Methods Research Group

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

Memberships

Scientific Association for Transport (2011-)

Education

Elektrotechnics and electronics I. - II. (BSc)

Introduction to development of transport automation systems

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)

Műszer Automatika Group

2012 - 2016  development engineer

2016 -           head of development

Developments

2013 - 2014: TsLC (road railway)

2014 - 2015: TsSL-OB (road railways)