ÖNÉLETRAJZ

Személyes adatok

Név: dr. Benyó Balázs István

Születési idő: 1969. május 2.

Iskolai végzettség

1975-1987: Általános és középiskola a budapesti Fazekas Mihály Fővárosi Gyakorló Általános Iskola és Gimnáziumban.

1987-1992: Egyetemi tanulmányok a Budapesti Műszaki Egyetem Villamosmérnöki kar Informatika szak Műszer és Irányítástechnika ágazatán.

1992: Okleveles villamosmérnöki diploma megszerzése a Budapesti Műszaki Egyetem Villamosmérnöki karán. (kiváló minősítéssel) (217/1992.)

1992 – 1997: A Magyar Tudományos Akadémia Tudományos Minősítő Bizottságának ösztöndíjasa a Budapesti Műszaki Egyetem Műszer és Méréstechnika Tanszékén, mint kutatóhelyen.

Tudományos fokozat

1998: műszaki tudomány kandidátusa (CSc)
(Magyar Tudományos Akadémia Doktori Tanácsa, 17070/1998)

1998: műszaki és informatika tudomány doktora (PhD)
(BME Műszaki Informatika Szak Doktori Tanácsa, 816-PhD/1998)

Munkahely

1997 – 1998: Tudományos segédmunkatárs a Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszékén.

1998 – 1999: Tudományos munkatárs a győri Széchenyi István Egyetem Informatika Tanszékén.

1999 – 2001 Főiskolai docens a Széchenyi István Egyetem Informatika Tanszékén.

2001 – Egyetemi docens a Széchenyi István Egyetem Informatika Tanszékén.

2005. február 1. – Tudományos és nemzetközi dékánhelyettes a Széchenyi István Egyetem Műszaki Tudományi Karán.

Hosszabb külföldi tanulmányutak

1992: Négy hónapos ösztöndíj a Friedrich-Alexander University of Erlangen-Nürnberg Computer Sciences Tanszékén. Fault injection based dependability evaluation című diplomaterv elkészítése.

1993: Három hónapos ösztöndíj a University of Cincinnati Digital Design Environment Laboratóriumában. Digitális áramkörök viselkedés-szintű automatikus tesztgeneráló algoritmusainak összehasonlítása.

1994 – 1995: Fél éves ösztöndíj a University of Cincinnati Digital Design Environment Laboratóriumában. Új algoritmus kidolgozása digitális áramkörök magas hibafedésű tesztvektorainak előállítására.

1996: Tíz hónapos ösztöndíj Münchenben a Siemens ÖN TI-nél. Software tesztelési feladatok megoldása telekommunikációs hálózat management programok fejlesztése során.

Kutató-fejlesztői munka

1988-1989: Diszkrét és folytonos idejű jelfolyamhálózatok időtartománybeli analízisét végző programcsomag kifejlesztése C nyelven, PC-s környezetben.

1989-1990: Memória (EEPROM) kezelő programcsomag fejlesztése PROFIBUS rendszerhez. (INTEL mikrokontrolleres környezet)

1990: Neurális hálózatokra alapuló EEG görbék epilepsziás tüskéinek felismerésére alkalmas eljárás kidolgozása.

1992: Hiba-injektáláson alapuló számítógépes rendszerek megbízhatóságát vizsgáló DEEP (Dependability Evaluation Experimental Package) nevű programrendszer fejlesztése. (UNIX környezet, SUN munkaállomásokon)

1993: RBTG (Random Behavioral Test Generator), viselkedés szintű véletlen tesztgenerátor fejlesztése. (UNIX környezet, SUN munkaállomásokon)

1994-1995: Önállóan kidolgozott új tesztgeneráló algoritmus implementálása UNIX környezetben. (UNIX shell, awk, sed ill. C nyelven)

1996: Hálózat management szoftver tesztelési specifikációjának ill. automatikus tesztelési eljárásának kidolgozása és implementálása UNIX környezetben. (UNIX shell, X-Runner, C++, Informix SQL)

1997: Kandidátusi disszertáció megírása melynek címe: Tesztminta generálás magasszintű hardverleírás alapján.

1998: Tesztelési koncepció kidolgozása és a tesztkörnyezet kifejlesztése egy vasúti irányítórendszer számára készülő elosztott kommunikációs szoftver számára. (SIEMENS, Braunschweig, Germany) (Windows NT, C++, CADUL)

1997 - 1999: Betegek monitorozására alkalmas, terepi busz-rendszerekre alapuló, elosztott orvosi kommunikációs rendszer tervezése és kivitelezése. (TRAFICC project az Európai Közösség támogatásával Copernicus 960161) (PROFIBUS, Windows NT, C nyelv)

1999 – 2001 Diagnosis System fejlesztése az ETCS 2000 vasúti irányító rendszerhez projekt irányítása. Megrendelő a SIEMENS VT, Berlin, Germany. Magyarországi alvállalkozó Evosoft Hungary kft. (SCO UnixWare, Windows NT, C, C++, IP protocols)

2001 - Célrendszer közvélemény kutatási (TV nézettségi) adatok kezelésére (Adatmanipulálás és prezentáció, valamint szimuláció) (GFK) (C/C++, Windows NT, UNIX, MFC, ObjectiveGRID)

Kitüntetések és ösztöndíjak

1989, 90, 91: Népköztársasági ill. Köztársasági Ösztöndíj (három alkalommal)

1990, 91: Magyar Hitel Bank, Alapítvány a Magyar Felsőoktatásért és Kutatásért alapítványának ösztöndíja (két alkalommal)

1991, 92, 93: A Magyar Köztársaság Jó Tanulója Jó Sportolója kitüntetés (három alkalommal)

1992: PEREGRINATIO V. alapítvány ösztöndíja németországi diplomatervezési gyakorlatom támogatására

1993: Soros Alapítvány Short ösztöndíja amerikai tanulmányút támogatására
A pályázat címe: Magas szintû hardver leíráson alapuló tesztgeneráló algoritmus kidolgozása

1994: Országos Tudományos Kutatási Alap Világbanki Kölcsönből finanszírozott fiatal kutatói pályázatán ösztöndíj kategóriában egyéni támogatás (W 015411)

1996: Országos Műszaki Fejlesztési Bizottság ösztöndíja konferencia részvétel támogatására (IEEE European Test Workshop’96) (OMFB 89994/96)

1996: Ericsson-Schrack Alapítvány ösztöndíja

1997: Országos Műszaki Fejlesztési Bizottság ösztöndíja konferencia részvétel támogatására (IEEE European Test Workshop’97) (OMFB 89818/96)

1998: Bolyai János Kutatási Ösztöndíj

2001: Békésy György Posztdoktori Ösztöndíj

2002: „Az év kiemelkedő műszaki alkotója”, különdíj („Ipar Műszaki Fejlesztéséért” Alapítvány pályázata)

2003: Széchenyi István Egyetem Professzori Ösztöndíja

Kutatási programokban való részvétel

1991 óta több mint húsz hazai, ill. nemzetközi kutatási és oktatásfejlesztési (COPERNICUS, OTKA, KHVM, FKFP) projektnek voltam résztvevője. Két sikeresen zárult OTKA (W 015411, F 029739) programnak voltam témavezetője. Jelenleg két kutatási, ill. kutatásfejlesztési projektet vezetek: GVOP-3.1.1.-2004-05-0408/3.0: ENUM eljárásra alapuló szolgáltatások megvalósítása ); OTKA F046726: Biztonságkritikus diagnosztikai célú informatikai rendszerek kutatása.

1991-1993: OTKA T760 – résztvevő
Kisredundanciájú nagymegbízhatóságú digitális áramkörök és rendszerek
Témavezető: Dr. Selényi Endre (1.800.000 Ft)

1992-1994: OTKA T4494 – résztvevő
Intelligens algoritmusok digitális áramkörök hibadiagnosztizálására
Témavezető: Dr. Pataricza András (1.500.000 Ft)

1995-1998: OTKA T15728 – résztvevő
Magasszintű funkcionális hibadiagnosztika formális módszerei
Témavezető: Dr. Pataricza András (1.600.000 Ft)

1994-1995: OTKA W 015411 – témavezető
Magas szintû hardver leíráson alapuló tesztgeneráló algoritmus kidolgozása
(High Level Hardware Description Based Automatic Test Pattern Generation)
(10000 USD)

1994-1995: OTKA W 015003 – résztvevő
Elosztott, hibatűrő számítógépes modellrendszer felépítése és kísérleti értékelése
Témavezető: Majzik István (10000 USD)

1997-1999: OTKA T024112 – résztvevő
Élettani folyamatok identifikációja és szimulációja
Témavezető: Asztalos Balázs (1.200.000 Ft)

1994-1998: COPERNICUS, CP 93:9624 – résztvevő
FUTEG - Functional Test Generation and Diagnosis
Témavezető: Dr. Pataricza András ( 7.930.000 Ft)

1996-: SAFESOFT – résztvevő
Témavezető: Dr. Sziray József ( 1.452.000 Ft)

1993-96: Eastern European Microelectronics Cooperation Network (PECO 7668) – résztvevő
Témavezető: Dr. Pataricza András (13000 ECU)

1994-: SZTAKI megbízás – résztvevő
Diszkrét vezérlő specifikációja megfelelését ellenőrző módszerekről szóló tanulmány elkészítése
Témavezető: Dr. Pataricza András (400.000 Ft)

1996: Országos Műszaki Fejlesztési Bizottság ösztöndíja konferencia részvétel támogatására (IEEE European Test Workshop’96) (OMFB 89994/96)

1997: Országos Műszaki Fejlesztési Bizottság ösztöndíja konferencia részvétel támogatására (IEEE European Test Workshop’97) (OMFB 89818/96)

1997-1999: Betegek monitorozására alkalmas orvosinformatikai mintarendszer létrehozása (COPERNICUS 960161 TRAFICC project az Európai Közösség támogatásával) – résztvevő 15 000 000 Ft

1998-2000: KHVM 47/1998 – résztvevő
Informatikai szolgáltatások konstruktív minőségbiztosítása
(Szoftver minőségbiztosítás és verifikálás),
projektvezető: Dr. Pataricza András

1999-2002: OTKA T 029830 – résztvevő
Eseményfelismerés, diagnosztikai módszerek műszaki és nem műszaki alkalmazásokhoz 8 000 000 Ft

1999-2001: OTKA F 029739 – témavezető
Céladekvált algoritmusok kidolgozása biztonságkritikus beágyazott számítógéprendszerek verifikációjára és validációjára (2.550.000 Ft)

1998-2001: TEMPUS S_JEP-12435-97 – résztvevő
Műszaki informatika szakok tanterveinek harmonizálása az átjárhatóság biztosítása érdekében

2000-2001: KHVM 96/2000 – résztvevő
Az informatikai formális módszerei
(Testing Principles for Object-Oriented Software),
projektvezető: Dr. Pataricza András

2001-2003: FKFP 200/2001 – témavezető
Számítógépes diagnosztikai és eseményfelismerési módszerek kutatása és integrálása betegfelügyeleti és távdiagnosztikai rendszerbe, az új módszerek bevezetése a műszaki és nem műszaki oktatásba (6.000.000 Ft)

2003-2007: OTKA F046726 – témavezető
Biztonságkritikus diagnosztikai célú informatikai rendszerek kutatása (5.745.000 Ft)

2005-2006: GVOP-3.1.1.-2004-05-0408/3.0 – konzorciumvezető témavezető
ENUM eljárásra alapuló szolgáltatások megvalósítása (31.000.000 Ft)

Oktatási tapasztalat

1992 óta veszek részt egyetemi oktatásban, 1998-ig a Budapesti Műszaki és Gazdaságtudományi Egyetemen, utána a 1988-tól a Széchenyi István Egyetemen és a BME-n. A következő tantárgyak oktatásában működtem közre a BME-n: Rendszerprogramozás, Digitális rendszerek mérés labor, Hibatűrő rendszerek tervezése. A Széchenyi Egyetemen az Operációs rendszerek I., II., III. tárgyaknak vagyok előadója és tantárgyfelelőse, előadóként közreműködtem a Szoftver minőségbiztosítás, Szoftver technológia, Web technológia, ill. Digital circuits (angol) tárgyak oktatásában. Részt vettem az BSc szintű műszaki informatika szak tantervének kidolgozásában a következő tantárgyak tematikájának kidolgozásában: Operációs rendszerek, Szoftver technológia, Számítógép hálózatok, Számítógép architektúrák. Tárgyfelelőse vagyok a Számítógép hálózatok, Operációs rendszerek és Számítógép architektúrák tárgyaknak. Számos diplomaterv és TDK dolgozatnak voltam témavezetője. Közülük Ötvös Pál 2001-ben kitűntetéssel védte meg diplomáját, a TDK dolgozatok közül több ért el különböző helyezéseket. Témavezetője vagyok Fördös Gergely és Somogyi Péter doktoranduszoknak.

Tudományos-szakmai szervezetekben viselt tagság

A Méréstechnikai, Automatizálási és Informatikai Tudományos Egyesület és az IEEE tagja vagyok 1991 óta. 1992-től 1993-ig az IEEE Hungarian Section Student Branch titkára voltam.

1994 és 1998 között tagja voltam az IFAC Hungarian Student Section-nek.

A szervező bizottság alelnöke és bíráló a 4^th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems 2001 konferencián.

2000-ben tagja lettem a Magyar Tudományos Akadémia Formális Módszerek Szakbizottságának.

2004 óta tagja vagyok az International Federation of Automatic Control (IFAC) Techinical Committee on Modelling and Control of Biomedical Systems (TC-BIOMED) technikai bizottságnak.

Több hazai informatikai kutatási pályázat bírálatában vettem részt: IKTA (2001-2002), ITEM (2002, 2003). Állandó szakértője vagyok az Apertus alapítványnak.

Nem szakmai tevékenység

13 éves korom óta versenyszerűen evezek. Több világversenyen képviseltem válogatottként a hazai színeket. Legjobb eredményeim: 1992 és 1997 között hat alkalommal nyertem különböző hajóegységekben Felnőtt Országos Bajnokságot; 1987-ben az Ifjúsági Világbajnokságon 10. helyezést, 1993-ban a Felnőtt Világbajnokságon 16-dik helyezést értem el. 1994-ben az Egyetemi Világbajnokságon 3-dik helyezett lettem.

Nyelvtudás

Angol (Á 0074615) és orosz (Á 042077) nyelvekből középfokú állami nyelvvizsgával rendelkezem. Társalgási szinten beszélek németül.