Ferenc, Hegedűs

Studies, Degrees

• Vehicle Engineer (BSc) 2014

• Vehicle Engineer (MSc) 2016 

Position

Address

• H-1111 Budpest, Stoczek street 2.  St. bdg. 105.

• hegedus.ferenc [at] edu.bme.hu 

• (hegedus.ferenc [at] mail.bme.hu)

Place and Date of Birth

Languages

• english (B2)

• german (B2)

Affiliations

• Robert Bosch Kft. development engineer

• BME KJIT PhD student

Research Fields

• autonomous road vehicles

• trajectory planning

Projects

Awards

Education

• Programming (BMEKOKAA146)

• C and MATLAB programming (BMEKOKAM603)

Publications

List of publications

Balázs Keresztesi

Studies, Degrees

Position

Address

Place and Date of Birth

Languages

Affiliations

Research Fields

Projects

Awards

Education

Publications

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)

Olivér, Törő

Studies, Degrees

Position

Address

Place and Date of Birth

Languages

Affiliations

Research Fields

Projects

Awards

Education

Publications