Hajdu Ákos
Doktorandusz, okleveles mérnök informatikus
- Cím
- H-1117 Budapest, Magyar tudósok körútja 2., I épület, B414 szoba
- hajdua [at] mit.bme.hu
- Telefon
- +36 1 463 3579
- Honlap
- http://inf.mit.bme.hu/members/hajdua
Rövid bemutatkozás
Hajdu Ákos a Budapesti Műszaki és Gazdaságtudományi Egyetem doktorandusz hallgatója. Fő kutatási iránya a formális verifikáció és az absztrakció alapú modellellenőrzési technikák. Vendégkutatóként 8 hetet töltött a kanadai McGill egyetemen, nyári szakmai gyakorlatot végzett a CERN-ben és az SRI International kutatóintézetben, illetve részt vett a Huawei Seeds for the Future programjában is. 2016-ban és 2018-ban is elnyerte a Nemzeti Tehetség Program Nemzet Fiatal Tehetségeiért Ösztöndíját.
Kutatási területek
- Formális módszerek, modellellenőrző algoritmusok
- Szoftverek, tranzíciós rendszerek, állapottérképek, Petri-hálók verifikációja
- Absztrakció-alapú módszerek, CEGAR
- Verifikációs algoritmusok kiértékelése, összehasonlítása
- Matematikai logika alkalmazása a verifikációban, SAT/SMT megoldók, interpoláció, lineáris programozás
Tanulmányok
- 2016 - jelenleg: Doktorandusz, Budapesti Műszaki és Gazdaságtudományi Egyetem
- 2014 - 2016: Mérnök informatikus MSc, Budapesti Műszaki és Gazdaságtudományi Egyetem
- 2010 - 2014: Mérnök informatikus BSc, Budapesti Műszaki és Gazdaságtudományi Egyetem
Vendégkutatások, szakmai gyakorlatok
- 2018: SRI International, New York, USA, szakmai gyakorlat
- 2017: McGill University, Montréal, Kanada, vendégkutatás [előadás]
- 2015: CERN, Genf, Svájc, szakmai gyakorlat [beszámoló]
Részvétel kutatási projektekben
- 2017 - jelenleg: CERN-BME Együttműködés
- 2016 - jelenleg: MTA-BME Lendület Kiberfizikai Rendszerek Kutatócsoport
- 2016 - jelenleg: Theta formális verifikációs keretrendszer fejlesztése
Kiemelt publikációk
-
Industrial Applications of the PetriDotNet Modelling and Analysis Tool (SCP 2018) [pdf]
Vörös, A., Darvas, D., Hajdu, Á., Klenik, A., Marussy, K., Molnár, V., Bartha, T., and Majzik, I. -
Theta: a Framework for Abstraction Refinement-Based Model Checking (FMCAD 2017) [pdf]
Tóth, T., Hajdu, Á., Vörös, A., Micskei, Z., and Majzik, I. -
Towards Evaluating Size Reduction Techniques for Software Model Checking (VPT 2017) [pdf]
Sallai, Gy., Hajdu, Á., Tóth, T., and Micskei, Z. -
A Configurable CEGAR Framework with Interpolation-based Refinements (FORTE 2016) [pdf]
Hajdu, Á., Tóth, T., Vörös, A., and Majzik, I. -
New search strategies for the Petri net CEGAR approach (ICATPN 2015) [pdf]
Hajdu, Á., Vörös, A., and Bartha, T.
Oktatási tevékenység
Aktuális
- Formális módszerek (MSc)
- Integrációs és ellenőrzési technikák (BSc)
- Szoftver- és rendszerellenőrzés (MSc)
- Szoftver verifikáció és validáció (PhD)
Korábbi
- Adatbázisok (BSc)
- A programozás alapjai 1-2. (BSc)
- Informatikai technológiák laboratórium 2. (BSc)
- Intelligens rendszerfelügyelet (BSc)
- Szoftver laboratórium 1-2. (BSc)
Tudományos és közéleti tevékenységek
Konferencia előadások
- FMCAD 2017: Theta: a Framework for Abstraction Refinement-Based Model Checking
- VPT 2017: Towards Evaluating Size Reduction Techniques for Software Model Checking
- FESCA 2017: Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers
- FORTE 2016: A Configurable CEGAR Framework with Interpolation-Based Refinements
- ICATPN 2015: New search strategies for the Petri net CEGAR approach
- VOCAL/ASCONIKK 2014: Petri Net Based Trajectory Optimization
- SPLST 2013: Extensions to the CEGAR approach on Petri Nets
Egyéb előadások
- SAT/SMT/AR Summer School 2016: A SAT/SMT-based CEGAR Framework [poszter]
- IncQuery Labs Akadémia előadás: SAT/SMT/AR - Bevezető és alkalmazások [előadás-pdf] [előadás-ppt]
- Programozói konferencia 2016 előadás: C++ szkriptvázak generálása részecskefizikai adatelemzéshez [előadás]
- FMCAD 2017 Student Forum: Towards Using Multiple Counterexamples for Abstraction Refinement [poszter] [előadás]
Tanulmányutak, nyári iskolák
- Dependable Software Systems Engineering Summer School 2016
- SAT/SMT/AR Summer School 2016
- Spring School on Logic and Verification 2016
- Automatic Verification and Analysis of Complex Systems 2015
- Verification Technology, Systems and Applications 2014
- Huawei Telecom Seeds for the Future 2014
- Mathematics for Scientific Programming 2013
