Zoltán Imre Micskei - habilitation


	Login Forum Organisation officers member institutions resolutions (in Hung.) by-laws (in Hung.) regulations Doctoral program doctoral schools by institution by research field by number ceased working academic staff member by name by research topic archives thesis topic proposals by doctoral school by research field by research topic supervision of PhD students search students Theses defended by institution by research field by name by date by doctoral school Naturalized degrees by institution by research field by name by date Habilitation presentations by institution by branch of science by name Documents (all in Hung.) public documents news legal backgrounds guidelines Contacts contact details partners

Habilitation

The Budapest University of Technology and Economics and
the Doctoral School of Informatics
cordially invites You

to the habilitation presentation of
Zoltán Imre Micskei
(publication list in the MTMT).

Scientific lecture
    Title: Evaluating and designing automated verification methods for critical software systems
    Place and time: Budapesti Műszaki és Gazdaságtudományi Egyetem
I épület B szárny 019.
1117 Budapest, Magyar tudósok körútja 2.
., 2025. I. 22. 14:00

Educational lecture
    Title: Software engineering: Goals and methods
    Place and time: Budapesti Műszaki és Gazdaságtudományi Egyetem
I épület B szárny 019.
1117 Budapest, Magyar tudósok körútja 2.
., 2025. I. 22. 15:00

All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 2.2358 ( 2017. X. 31. )