Ígéretes Kutatóink

Ígéretes Kutatóink

2020.04.24.
Ígéretes Kutatóink

Az Eötvös Loránd Tudományegyetem hagyományteremtő szándékkal pályázatot ír ki „Az ELTE ígéretes kutatója” elismerés és a vele járó pénzjutalom elnyerésére negyven évesnél fiatalabb kutatók számára. Az Informatikai Karon Ígéretes Kutató díjban részesültek:

2024

 

Tóth Melinda

Elosztott szoftverek statikus és dinamikus elemzése

Kutatásai a szoftverek biztonságára és energiahatékonyságára fókuszálnak, különösen a BEAM-nyelvek esetében. Kutatói pályáját az Erlang programok statikus elemzésével és transzformálásával kezdte. Az általa kidolgozott RefactorErl nyílt forráskódú elemző eszköz az Erlang programozási nyelv sajátosságait figyelembe véve segíti a forráskód megértését, transzformációját, a hibakeresést, valamint a szoftverkomponensek közötti kapcsolatok feltárását; támogatja a párhuzamosítási lehetőségeket és a biztonsági sérülékenységek elemzését. 2010-óta vezeti a RefactorErl K+F projektet, az ennek részeként kialakított Szoftvertechnológiai Labor munkája kimagasló számú hallgatói dolgozat alapját is képezi. A kutatói utánpótlás nevelésén túl (amiért számos más elismerés mellett Mestertanár Aranyérmet is kapott), a Safe szolgáltatás keretében megkezdte az eredmények hasznosítását is. Legújabb vizsgálatai a BEAM virtuális gép által futtatott nyelvekre is kiterjednek. E nyelvek biztonsági hibáinak felismerése és kiküszöbölése a kritikus infrastruktúrák (pl. az IoT és pénzügyi rendszerek) biztonságosságához járul hozzá; energiahatékonyságuk dinamikus elemzése, a kód optimalizálására tett javaslatok a fenntartható szoftverfejlesztést szolgálják. A RefactorErl keretrendszerre építettekhez hasonló megoldások jelenleg még nem állnak rendelkezésre a BEAM-nyelvekhez, így ez a munka úttörőnek számít.

2023

Andó Mátyás

Automatikus döntéshozatallal támogatott iparihatékonyság-növelés

A Savaria Műszaki Intézet docense 2007 óta foglalkozik gyártástechnológiával. Kutatócsoportjának célja CNC gépek és szerszámok állapotfelügyelete gépen belüli és CMM mérés alapján, forgácsolási folyamatok kamerás felügyelete, az anyagok viselkedésének megfigyelése 3D-s nyomtatással kapcsolatban, PLC-k által vezérelt gyártási rendszerek kommunikációjának egybevetése különböző szerkezetű adatbázisokkal, a hegesztés támogatása integrált keretrendszerrel, és gyártmányminősítés 3D-s szkennelés alapján. Kutatómunkáját 2014-ben a Savaria Műszaki Intézet alap infrastruktúráján kezdte el, azóta sikerült beszereznie CNC esztergagépeket és marógépeket, koordinátamérő-gépet, többfajta PLC-t és HMI-t, hegesztő- és egyéb robotokat. 2018-tól már hallgatókat is bevon kutatásaiba, ennek hatására a TDK-zók száma megnőtt az intézetben. Fontosnak tartja, hogy tudományos elképzelései az alkalmazásra fókuszálva jelenjenek meg, ennek szellemében készítette el gépipari tűrésekkel foglalkozó könyvét, és dolgozott ki gyártástechnológiai tantárgyakat. Kutatási eredményeit a 2022-es országos Gyártás Konferencián mutatta be, amelynek szervezéséért megkapta a Gépipari Tudományos Egyesület "Technika Fejlesztéséért" díját.

 
 

Andó Mátyás

Automatikus döntéshozatallal támogatott iparihatékonyság-növelés

A Savaria Műszaki Intézet docense 2007 óta foglalkozik gyártástechnológiával. Kutatócsoportjának célja CNC gépek és szerszámok állapotfelügyelete gépen belüli és CMM mérés alapján, forgácsolási folyamatok kamerás felügyelete, az anyagok viselkedésének megfigyelése 3D-s nyomtatással kapcsolatban, PLC-k által vezérelt gyártási rendszerek kommunikációjának egybevetése különböző szerkezetű adatbázisokkal, a hegesztés támogatása integrált keretrendszerrel, és gyártmányminősítés 3D-s szkennelés alapján. Kutatómunkáját 2014-ben a Savaria Műszaki Intézet alap infrastruktúráján kezdte el, azóta sikerült beszereznie CNC esztergagépeket és marógépeket, koordinátamérő-gépet, többfajta PLC-t és HMI-t, hegesztő- és egyéb robotokat. 2018-tól már hallgatókat is bevon kutatásaiba, ennek hatására a TDK-zók száma megnőtt az intézetben. Fontosnak tartja, hogy tudományos elképzelései az alkalmazásra fókuszálva jelenjenek meg, ennek szellemében készítette el gépipari tűrésekkel foglalkozó könyvét, és dolgozott ki gyártástechnológiai tantárgyakat. Kutatási eredményeit a 2022-es országos Gyártás Konferencián mutatta be, amelynek szervezéséért megkapta a Gépipari Tudományos Egyesület "Technika Fejlesztéséért" díját.

2022

 

Fekete Gusztáv

Informatika a tudományokban: az alsó végtag biomechanikája

Doktori fokozatát 2013-ban a Genti, illetve a Szent István Egyetemen mérnöki tudományokból szerezte, 2019-ben Győrben habilitált. 2017 óta az ELTE SEK docense, 2016 óta a kínai Ningbo Egyetemen is tanít. Több projektben együttműködik az Université libre de Bruxelles-lel és a stuttgarti Institut für Technische und Numerische Mechanik-kal. Máris komoly eredményeket ért el az alsó végtag biomechanikája, a biokompozitok fejlesztése és legújabban szolárpanelek fejlesztésével a megújuló energiák hasznosítása terén. A sportmozgások során fellépő sérülések mechanizmusának megértésével, illetve a sportsérülés rehabilitációjával kapcsolatos eredményei alapot nyújtanak a klinikusok számára a rendellenes és patológiás járás kezelésére vonatkozó döntéshozáshoz. A sportcipők fejlesztése során azt kutatja, milyen szénszálas betéttel lehet jobb futóteljesítményt elérni, egyik fő célja az energiaveszteség csökkentés. A térdprozézis-kopás megértéshez matematikai kopásmodellt hozott létre, amellyel differenciáltan tudja vizsgálni a térd laterális és mediális betétein a kopás lefutását és annak paraméterfüggését. Jelentős tehetséggondozói munkát végez, eddig 9 doktorandusz hallgatóval foglalkozott. ÚNKP- és Bolyai-ösztöndíjas, 2022-ben Gyenge Csaba-emlékdíjat kapott.

2021

Kovács Péter

elmodellezés, mesterséges intelligencia/gépi tanulás, biológiai jelfeldolgozás, telekommunikáció, roncsolásmentes anyagvizsgálat

Az ELTE Informatikai Karán szerzett BSc, MSc diplomát programtervező informatikai szakon, majd doktori fokozatot jelfeldolgozásban. 2012-ben vendégkutatóként dolgozott a finnországi Tamperei Műszaki Egyetem Jelfeldolgozó Tanszékén. 2016-tól az ELTE Numerikus Analízis Tanszékének adjunktusa. Munkáját 2016-ban a Bolyai János Matematikai Társulat Farkas Gyula emlékdíjjal jutalmazta. Majd 2018 és 2020 között posztdoktori kutató a linzi Johannes Kepler Egyetem Jelfeldolgozó Kutatóintézetében. Idén 2021-ben pedig megkapta a MTA Bolyai János Kutatási Ösztöndíját. Konferenciák és tudományos ismeretterjesztő rendezvények rendszeres előadója és szervezője. A 2019-es EUROCAST és az idei 55. Asilomar Conference on Signals, Systems, and Computers nemzetközi konferenciák szekcióelnöke.

 
 

Kovács Péter

Jelmodellezés, mesterséges intelligencia/gépi tanulás, biológiai jelfeldolgozás, telekommunikáció, roncsolásmentes anyagvizsgálat

Az ELTE Informatikai Karán szerzett BSc, MSc diplomát programtervező informatikai szakon, majd doktori fokozatot jelfeldolgozásban. 2012-ben vendégkutatóként dolgozott a finnországi Tamperei Műszaki Egyetem Jelfeldolgozó Tanszékén. 2016-tól az ELTE Numerikus Analízis Tanszékének adjunktusa. Munkáját 2016-ban a Bolyai János Matematikai Társulat Farkas Gyula emlékdíjjal jutalmazta. Majd 2018 és 2020 között posztdoktori kutató a linzi Johannes Kepler Egyetem Jelfeldolgozó Kutatóintézetében. Idén 2021-ben pedig megkapta a MTA Bolyai János Kutatási Ösztöndíját. Konferenciák és tudományos ismeretterjesztő rendezvények rendszeres előadója és szervezője. A 2019-es EUROCAST és az idei 55. Asilomar Conference on Signals, Systems, and Computers nemzetközi konferenciák szekcióelnöke.

2020

 

Kaposi Ambrus

Típuselméleten alapuló önálló programozási nyelv kidolgozása

2010-ben a Semmelweis Egyetemen általános orvosként, 2012-ben az ELTE-n programtervező informatikusként végzett. 2013-ban a Semmelweis Egyetemen szerzett PhD-fokozatot klinikai orvostudományokból, második PhD-jét a Nottinghami Egyetemen szerezte programtervező informatikusként 2017-ben. 2015-től két éven át posztdoktori kutatóként dolgozott az MTA-SE Lendület Nephrogenetikai Kutatócsoportban. 2016 óta az ELTE IK Programozási Nyelvek és Fordítóprogramok Tanszék adjunktusa. Munkáját 2007-ben Semmelweis Innovációs Díjjal, 2019-ben Bolyai Ösztöndíjjal ismerték el, és ugyanebben az évben vehette át a Neumann János Számítógép-tudományi Társaság Kemény János-díját is. 2017 óta részt vesz a TYPES Konferencia (Oslo, Norvégia) szervezésében, 2017 óta az EUTypes COST action CA15123 konferencia-ösztöndíjak koordinátora, 2018 óta az EFOP-3.6.3-VEKOP-16-2017-00002 projekt 3.4 Informatikai logika munkacsoportjának vezetője. Konferenciák és tudományos ismeretterjesztő rendezvények rendszeres előadója, kutatási területei a típuselmélet, a funkcionális programozás, a matematikai logika és az orvosi statisztika.

2018

Pataki Norbert

DevOps pipeline-ok bővítése, javítása, új vagy javított megoldások biztosítása a DevOps módszerek tovább fejlesztéséhez

2006-ban végzett az ELTE IK és TTK programterveztő-matematikus szakán, 2013-ban szerzett PhD-fokozatot. 2006-tól az ELTE IK Programozási Nyelvek és Fordítóprogramok Tanszékének tanársegédje, három évig dolgozott az ELTE–Nokia Siemens Networks kooperációban. 2007-ben és 2012-ben elnyerte az ELTE Informatikai Kar Fiatal Kutatók Tudományos Díját. Több hallgatója nyert el OTDK helyezést. Az elmúlt években a DevOps pipeline-ok bővítésével és javításával foglalkozott, új vagy javított megoldásokat biztosított a DevOps módszerek továbbfejlesztéséhez.

 
 

Pataki Norbert

DevOps pipeline-ok bővítése, javítása, új vagy javított megoldások biztosítása a DevOps módszerek tovább fejlesztéséhez

2006-ban végzett az ELTE IK és TTK programterveztő-matematikus szakán, 2013-ban szerzett PhD-fokozatot. 2006-tól az ELTE IK Programozási Nyelvek és Fordítóprogramok Tanszékének tanársegédje, három évig dolgozott az ELTE–Nokia Siemens Networks kooperációban. 2007-ben és 2012-ben elnyerte az ELTE Informatikai Kar Fiatal Kutatók Tudományos Díját. Több hallgatója nyert el OTDK helyezést. Az elmúlt években a DevOps pipeline-ok bővítésével és javításával foglalkozott, új vagy javított megoldásokat biztosított a DevOps módszerek továbbfejlesztéséhez.

2017

 

Laki Sándor

Kommunikációs hálózatok három fontos alkalmazási területe: 1. IP geolokáció, 2. hálózati forgalom modellezése és elemzése, 3. új generációs programozható hálózatok

Az ELTE Informatikai Karán 2007-ben szerzett programtervező matematikus diplomát, és 2015-ben doktorált az ELTE Informatika Doktori Iskolájában. A Komplex Rendszerek Fizikája Tanszéken volt PhD-hallgató, 2010-től az Információs Rendszerek Tanszék tanársegédje, 2015-től egyetemi adjunktusa. Érdeklődési körét a számítógépes hálózatok, a hálózat mérési adatok elemzése, az IP geolokalizáció, a peer-to-peer hálózatok, az SDN és programozható hálózatok (P4), valamint a szolgáltatási minőség (QoS) jelenti. Az elmúlt 5 évben végzett kutatómunkája a kommunikációs hálózatok három fontos alkalmazási terültére – az IP geolokációra, a hálózati forgalom modellezésére és elemzésére, illetve az új generációs programozható hálózatokra fókuszált.

2016

Burcsi Péter

Kevert mintaillesztési algoritmusok és ehhez kapcsolódó, sztringekkel kapcsolatos kombinatorikai problémák vizsgálata

2002-ben szerzett diplomát az ELTE-n matematikából, majd 2004-ben elvégezte az Université de Bordeaux matematikus mesterképzését, a doktori fokozatot 2009-ben szerezte meg az ELTE Informatikai Doktori Iskolájában. 2002-től gyakorlatvezető, 2005-től tanársegéd, 2009-től adjunktus, majd 2013-tól megbízott tanszékvezető az ELTE IK Komputeralgebra Tanszékén, 2015-től mint habilitált egyetemi docens. 2011-ben elnyerte a „Kar kiváló oktatója” és az ELTE IK junior tudományos díját. Főbb kutatási területe a kombinatorika és a kombinatorikus algoritmusok, elsősorban a szavak kombinatorikája (combinatorics on words), extremális kombinatorika, valamint a számelméleti algoritmusok, elsősorban általánosított számrendszerek és numerációs rendszerek (numeration systems and substitutions), prímszámokkal kapcsolatos algoritmusok hatékony implementációja.

 
 

Burcsi Péter

Kevert mintaillesztési algoritmusok és ehhez kapcsolódó, sztringekkel kapcsolatos kombinatorikai problémák vizsgálata

2002-ben szerzett diplomát az ELTE-n matematikából, majd 2004-ben elvégezte az Université de Bordeaux matematikus mesterképzését, a doktori fokozatot 2009-ben szerezte meg az ELTE Informatikai Doktori Iskolájában. 2002-től gyakorlatvezető, 2005-től tanársegéd, 2009-től adjunktus, majd 2013-tól megbízott tanszékvezető az ELTE IK Komputeralgebra Tanszékén, 2015-től mint habilitált egyetemi docens. 2011-ben elnyerte a „Kar kiváló oktatója” és az ELTE IK junior tudományos díját. Főbb kutatási területe a kombinatorika és a kombinatorikus algoritmusok, elsősorban a szavak kombinatorikája (combinatorics on words), extremális kombinatorika, valamint a számelméleti algoritmusok, elsősorban általánosított számrendszerek és numerációs rendszerek (numeration systems and substitutions), prímszámokkal kapcsolatos algoritmusok hatékony implementációja.

2015

 

Gede Mátyás

A térképészethez kapcsolódó új informatikai technológiák: a glóbuszdigitalizálás, a virtuális glóbuszok alkalmazása a tematikus kartográfiában, új webes térképészeti technológiák

2004-ben végzett az ELTE térképész szakán, summa cum laude doktori fokozatát 2010-ben szerezte az ELTE TTK Földtudományi Doktori Iskolában. 2007 óta az IK Térképtudományi és Geoinformatikai Tanszék adjunktusa, többek között térképészeti számításokkal, a Google Earth alkalmazásával, glóbuszok digitalizálásával, webkartográfiával kapcsolatos kurzusokat vezet. A Magyar Földmérési, Térképészeti és Távérzékelési Társaság tagja, 2015-től a Kartográfiai Szakosztály elnöke, az International Cartographic Association (ICA) több bizottságának is tagja. Az ICA Commission on Cartographic Heritage into the Digital bizottságának egyik helyettes vezetője. 2014-től egy posztdoktori pályázat keretében a virtuális glóbuszok alkalmazhatóságát vizsgálja a tematikus kartográfiában.