Szakmai önéletrajz

Majzik István
Egyetemi docens, PhD
Budapesti Műszaki és Gazdaságtudományi Egyetem,
Méréstechnika és Információs Rendszerek Tanszék,
1117 Budapest, Magyar Tudósok krt. 2.
Telefon: (1) 463-3598;  Fax: (1) 463-2667, E-mail: majzik@mit.bme.hu
 

MUNKAHELYEK ÉS BEOSZTÁSOK

1995- : 
 Budapesti Műszaki és Gazdaságtudományi Egyetem,
Méréstechnika és Információs Rendszerek Tanszék
(korábban Műszer- és Méréstechnika Tanszék)
- Egyetemi docens (2003-tól)
- Egyetemi adjunktus (1998-2003)
- Tudományos segédmunkatárs (1995-1997)

VÉGZETTSÉG

1997:
 PhD, Műszaki tudomány (villamosmérnöki szak), Budapesti Műszaki Egyetem
Disszertáció címe: Konkurens hibadetektálás többprocesszoros rendszerekben watchdog processzorok felhasználásával
1992:
 Okleveles villamosmérnök, Budapesti Műszaki Egyetem (kitüntetéses oklevéllel)

NYELVISMERET

Angol:
 Középfokú nyelvvizsga
Német:
 Szakmai szövegek olvasása

SZAKMAI TERÜLET

Számítógépes rendszerek szolgáltatásbiztonsága:
- Megbízhatóság modellezés és analízis
- Kvantitatív megbízhatósági vizsgálatok 
- Futásidőbeli hibadetektálás
Szoftver verifikáció és validáció (helyességigazolás):
- Formális verifikáció
- Biztonságkritikus rendszerek

TAPASZTALATOK NEMZETKÖZI KUTATÁSI PROJEKTEKBEN

2010-2012:
 Robust & Safe Mobile Co-operative Autonomous Systems (R3-COP), ARTEMIS 100233
2008-2011:
 Model-based Generation of Tests for Dependable Embedded Systems (MOGENTES), FP7 ICT STREP 216679
2008-2009:
 Assessing, Measuring and Benchmarking Resilience (AMBER), FP7 ICT CA 216295
2006-2008:
 Resilience for Survivability in IST (RESIST), FP6 IST NOE 26764
2006-2008:
 Highly Dependable IP-based Networks and Services (HIDENETS), FP6 IST STREP 26979
2006-2008:

Safe Driver Machine Interface (DMI) for ERTMS Automatic Train Control (SAFEDMI), FP6 SUSTDEV STREP 031413
2004-2005:
 Intelligent Measurement Data Processing for the Construction of Dependable IT Systems, Portugál-Magyar Kormányközi TéT Együttműködési Projekt P-19/03
 
2001-2003:
 High Confidence Architecture for Distributed Control Applications (Next TTA), FP6 IST RTD 32111
2000-2002:
 Dependability Evaluation of Object-Oriented Systems (DEVOS), Olasz-Magyar Kormányközi TéT Együttműködési Projekt I-37/1999
1998:
 High-Level Integrated Design Environment for Dependability (HIDE), ESPRIT Open LTR 27439
1997-1999:

The Use of Reconfigurable Computer Systems in the Design and Analysis of Multiprocessor Systems (ACCUSE), Német-Magyar Kormányközi TéT Együttműködési Projekt D-21/1997
___________

HAZAI KUTATÁSI PROJEKTEK

2004-2006:
 Kötöttpályás közlekedési rendszerek konstruktív, EU-konform biztonsági minősítése (GVOP AKF KOZ, Gazdasági és Közlekedési Minisztérium)
 
2004-2006:
 Önellenőrzés és futásidejű verifikáció számítógépes programokban (OTKA T046527)
 
2001-2003:
 Robusztus objektum-orientált rendszerek optimális kialakítása (FKFP 0103/2001, Oktatási Minisztérium)
1999-2001:
 Biztonsági követelmények formális verifikációja hibatűrő rendszerekben (OTKA F030553)
1996-1999:
 Elosztott, hibatűrő számítógépes modellrendszer felépítése és kísérleti értékelése (OTKA W015003)
__________
  

ÖSZTÖNDÍJAK ÉS TANULMÁNYUTAK

2003-2006:
Bolyai János Kutatási Ösztöndíj (Magyar Tudományos Akadémia)
1998-2001:
 Bolyai János Kutatási Ösztöndíj (Magyar Tudományos Akadémia)
2000:
 Formalware Engineering: Advanced Course on Formal Methods for Enginering of Software, ("Formális módszerek a szoftverfejlesztésben" képzés), CISM International Centre for Sciences, Udine, Olaszország
1998:
 CNR-NATO Kutatói Ösztöndíj, CNR-CNUCE, Pisa, Olaszország
1996:
 Vendégkutatói meghívás (3 hónap), CNR-CNUCE, Pisa, Olaszország
1994:
 TEMPUS ösztöndíj (3 hónap), Pisai Egyetem, Pisa, Olaszország
1993:
 TEMPUS ösztöndíj (6 hónap), Friedrich-Alexander Egyetem, Erlangen, Németország
1991:
 Köztársasági Ösztöndíj
___________  

SZEREPVÁLLALÁS A TUDOMÁNYOS ÉLETBEN (PROGRAMBIZOTTSÁGI TAGSÁG)

2011:
 IEEE IFIP Int. Conf. on Dependable Systems and Networks - Performance and Dependability Symposium (DSN PDS),
IEEE Symposium on Reliable Distributed Systems (SRDS),
Int. Conference on Dependability of Computer Systems (DepCoS),
ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS)
 
2010:
 Int. Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT),
Int. Conference on Dependability of Computer Systems (DepCoS),
ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS),
Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems (RDCS)
 
2009:

IEEE Symposium on Reliable Distributed Systems (SRDS),
Int. Conference on Quantitative Evaluation of Systems (QEST),
Int. Conference on Dependability of Computer Systems (DepCoS),
ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS),
Int. Conference on Dependability (DEPEND),
European Workshop on Dependable Computing (EWDC)
 
2008:
 IEEE Symposium on Reliable Distributed Systems (SRDS),
European Dependable Computing Conference (EDCC),
Int. Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT),
Int. Conference on Dependability of Computer Systems (DepCoS),
ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS)
 
2007:
 Int. Conference on Dependability of Computer Systems (DepCoS),
ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS),
Workshop on Architecting Dependable Systems (WADS)
 
2006:
 Int. Conference on Dependability of Computer Systems (DepCoS),
Workshop on Architecting Dependable Systems (WADS),
Int. Conference on Distributed Computing Systems (ICDCS),
Workshop on Engineering of Fault Tolerant Systems (EFTS)
 
2005:
 Dependable Computing and Communications Symposium (DSN DCCS),
European Dependable Computing Conference (EDCC),
ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS)
 
2004:
 Workshop on Scientific Engineering of Distributed Java Applications (FIDJI)
 
2003:
 Int. Symposium on Autonomous Decentralized Systems (ISADS)
2002:
 European Dependable Computing Conference (EDCC)
2001:
 A Magyar Tudományos Akadémia Veszprémi Területi Bizottság "Formális módszerek az informatikában" munkabizottság tagja
2000:
 IEEE Symposium on Reliable Distributed Systems (SRDS),
European Workshop on Dependable Computing (EWDC),
Workshop on Object-Oriented Reliable Distributed Systems (WORDS)
1999:
 European Dependable Computing Conference (EDCC)
1996-
 Alkalmi bírálója nemzetközi folyóiratoknak és tudományos konferenciáknak: 
European Dependable Computing Conference (EDCC), IEEE International Symposium on Fault Tolerant Computing (FTCS), Formal Aspects of Computing (FAC), International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS), IEEE Transactions on Software Engineering (ToSE), Asian Test Conference (ATC), IEEE Symposium on Reliable Distributed Systems (SRDS), Design and Diagnostics of Electronic Circuits and Systems (DDECS), European Workshop on Dependable Computing (EWDC), IEEE Transactions on Computing (ToC), International Conference on Dependable Systems and Networks (DSN), International Symposium on Automated Decentralized Systems (ISADS).
_____  

OKTATÁSI FELADATOK

2010-től:

Szoftver verifikáció és validáció (dokt. képzés előadás),
Formális módszerek,
Szolgáltatásbiztonságra tervezés,
Szoftverellenőrzési technikák,
Valósidejű és biztonságkritikus rendszerek (társelőadó),
Önálló laboratórium, Diplomatervezés, TDK

 
2001-2009:
 Szoftver verifikáció és validáció (dokt. képzés előadás),
Informatkai rendszerek szolgáltatásbiztonsága,
Beágyazott információs rendszerek (társelőadó),
Önálló laboratórium, Diplomatervezés, TDK
1995-2001:
 Hibatűrő rendszerek béta szakirány előadásai és laboratóriumai:
- Programozás és diagnosztika (előadás)
- Hibatűrő rendszerek laboratórium
- Informatikai rendszerek tervezése laboratórium
__________
  

Majzik István, 2011.