
Gyimóthy Tiborlevelező tagságra ajánlott 2018 levelező tag 2019 MTA doktora 2008 PhD 1994
Szakterület
Számítástudomány Foglalkozás tanszékvezető, egyetemi tanár
A programtesztelés és programok minőségelemzése terén érte el legfontosabb eredményeit: megmutatta szoftver-metrikák alkalmazhatóságát programhibák becslésére; svéd kutatókkal kidolgoztak egy eljárást algoritmikus nyomkövető módszerek hatékonyságának tesztelésére; angol és amerikai társszerzőkkel kidolgozta a dinamikus programszeletelés elméleti alapjait; aktív részese volt a Columbus statikus kódelemző módszertan és az azt támogató szoftver-rendszer kifejlesztésének. Sok ipari együttműködéssel született fontos kutatás-fejlesztési eredménynek volt kezdeményezője ill. aktív résztvevője – ezekben neves szoftvercégek (Nokia, Samsung, ARM, Intel, Ericsson) voltak a partnerek. Vezetésével több, mint 100 fő dolgozik rendszeresen oktatási és kutatásfejlesztési feladatokon, ami az egyetem számára éves szinten több, mint 1 millió Eurós árbevételt eredményez. 15 sikeresen megvédett PhD disszertáció témavezetője volt; több, mint 80 nemzetközi konferencia programbizottságában vett részt (hat alkalommal volt elnök). Az MTA Informatikai- és Számítástudományi Bizottságának elnöke volt (2009-2017), és emellett 6 másik MTA, OTKA ill. MAB bizottságban volt tag több cikluson át. Munkásságáért megkapta a Kalmár László-díjat (1997), a Széchenyi Professzori Ösztöndíjat (1998-2002), az MTA Akadémiai Díját (2011), a Gábor Dénes-díjat (2013) és a Szent-Györgyi Albert-díjat (2015). Nemzetközi konferenciákon 5 alkalommal kapott közleményeire “konferencia legjobb cikke” elismerést. Kutatási téma
Publikációk Gyimóthy Tibor publikációs listája Szervezeti tagságok
Szerkesztői tevékenységek
Díjak
Elérhetőségek
|
Keresés az adatbázisban |