Formal Methods and Verification Research Group
EKF

Developer team

Dr. Gábor Kusper
Chief
E-mail
Web
Dr. Győző Yang
Member, Data Scientist
E-mail
Web
Dr. Gábor Geda
Member, Robotics Expert
E-mail
Web
Dr. Gergely Kovásznai
Member
E-mail
Web
Dr. Csaba Bíró
Member
E-mail
Web
Tamás Balla
Member
E-mail
Web
Tibor Tajti
Member, Data Scientist
E-mail
Web
Dr. Tamás Bérczes
External Member
E-mail
Web
Róbert Kerényi
External Member, Diploma Student
E-mail
Web
Márk Danisovszky
External Member, Diploma Student
E-mail
Web