Lukacs Gabror small         

  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)

 

               
    Publications         MTMT
               
    Affiliations        

Műszer Automatika Group

2012 - 2016  development engineer

2016 -           head of development

               
   

Developments

       

2013 - 2014: TsLC (road railway)

2014 - 2015: TsSL-OB (road railways)