Hajdu Ákos

Publikációs lista

MTMT

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
• Theta formális verifikációs keretrendszer fejlesztése

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

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.

Teljes lista

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

• Cikk bírálat: LADC’18, SRDS’17
• Helyi szervezés: DSN’13, ICACON’15, SRDS’16, AVM’17

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