Méréstechnika és Információs Rendszerek Tanszék (http://www.mit.bme.hu)

munkatársak > Majzik István

Majzik István

habilitált docens
image/jpeg ikon003.jpg [1]
Elérhetőségek
Szoba: 
IB421
Iroda: 
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB421
Tanszéki mellék(ek): 
3598
Tel.: 
+36 1 463-3598
Fax: 
+36 1 463-4112
Email: 
majzik (*) mit * bme * hu
Személyes honlap: 
http://home.mit.bme.hu/~majzik/ [2]
Bevezetés

Majzik István a BME-n szerezte villamosmérnöki diplomáját 1992-ben, PhD fokozatát 1997-ben. Kutatási területei a szoftver verifikáció, a formális módszerek, valamint a biztonságkritikus rendszerek. Rendszeresen szerepel a tématerület nemzetközi konferenciáinak programbizottságaiban; 2012-ben az IEEE Symposium on Reliable Distributed Systems (SRDS) programbizottságának társelnöke, 2016-ban általános társelnöke volt. A BME vezető kutatójaként vett részt 5 EU projektben, továbbá vezetője volt több hazai kutatási projektnek. 15 év tapasztalattal rendelkezik vasúti irányítástechnikai szoftverek értékelésében. Több mint 80 tudományos cikke jelent meg nemzetközi folyóiratokban, konferenciákon és workshopokon.

Oktatás

Doktoranduszai:

Tanszékünkön oktatott tantárgyai:

Aktuális témakiírásai:

Kutatás
3674
z8LwwiAAAAAJ
G-8929-2012
Istvan_Majzik
0000-0002-1184-2882
Publikációs lista [13], tudománymetriai táblázat [14] és szerzői oldalak:  ResearcherID [15]  Scopus [16]  ORCID [17]  Google Scholar [18]  ResearchGate [19]  Országos Doktori Tanács [20]

Szakmai előadások:

Projektek:

© 2010-2011 BME MIT

Forrás webcím (letöltve 2024-04-24 13:20): http://www.mit.bme.hu/general/staff/majzik

Hivatkozások:
[1] http://www.mit.bme.hu/system/files/user_pictures/staff/003.jpg
[2] http://home.mit.bme.hu/~majzik/
[3] http://www.mit.bme.hu/general/phd/szekeres
[4] http://www.mit.bme.hu/oktatas/targyak/vimimb07
[5] http://www.mit.bme.hu/oktatas/targyak/szak781
[6] http://www.mit.bme.hu/oktatas/targyak/vimima07
[7] http://www.mit.bme.hu/oktatas/targyak/vimima26
[8] http://www.mit.bme.hu/oktatas/targyak/vimima11
[9] http://www.mit.bme.hu/oktatas/targyak/vimmd052
[10] http://www.mit.bme.hu/oktatas/targyak/vimim146
[11] http://www.mit.bme.hu/oktatas/temakiirasok/2023/autonom-rendszerekre-vonatkozo-kovetelmenyek-leirasa-es-monitorozasa
[12] http://www.mit.bme.hu/oktatas/temakiirasok/2023/biztonsagkritikus-rendszerek-modellezese-es-ellenorzese
[13] https://vm.mtmt.hu/search/slist.php?jelleg=1,2,3,4,5,6,7,8&type_on=1&url_on=1&com_on=1&la_on=1&lang=1&AuthorID=10001448&lang=0
[14] https://m2.mtmt.hu/api/author/10001448/summary?secondary=true
[15] https://publons.com/researcher/G-8929-2012
[16] http://www.scopus.com/authid/detail.url?authorId=6603563930
[17] http://orcid.org/0000-0002-1184-2882
[18] http://scholar.google.hu/citations?user=z8LwwiAAAAAJ&pagesize=100&hl=hu
[19] https://www.researchgate.net/profile/Istvan_Majzik/
[20] http://www.doktori.hu/index.php?menuid=192&sz_ID=3674&lang=HU
[21] http://www.mit.bme.hu/research/presentations/2007/megbizhatosag-modellezes-es-analizis-mire-jo-ez-egyaltalan
[22] http://www.mit.bme.hu/projects/daad00
[23] http://www.mit.bme.hu/projects/fault99
[24] http://www.mit.bme.hu/projects/hidenets06
[25] http://www.mit.bme.hu/projects/i2rt
[26] http://www.mit.bme.hu/projects/indap04
[27] http://www.mit.bme.hu/projects/jelzo96
[28] http://www.mit.bme.hu/projects/itsz2004
[29] http://www.mit.bme.hu/projects/mogentes08
[30] http://www.mit.bme.hu/projects/safedmi06
[31] http://www.mit.bme.hu/projects/onell2004
[32] http://www.mit.bme.hu/projects/devos00
[33] http://www.mit.bme.hu/projects/resist06
[34] http://www.mit.bme.hu/projects/roos01
[35] http://www.mit.bme.hu/projects/amber08
[36] http://www.mit.bme.hu/projects/autuml99
[37] http://www.mit.bme.hu/projects/enas03
[38] http://www.mit.bme.hu/projects/watch95