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)