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 részt vett a Huawei Seeds for the Future programjában is. 2016-ban 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

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)

Egyéb

• CERN gyakornoki projekt: Making the TTreeReader interface more accessible [report]
• 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]
• McGill előadás: Software Verification with Abstraction-Based Methods [előadás]
• FMCAD 2017 Student Forum: Towards Using Multiple Counterexamples for Abstraction Refinement [poszter] [előadás]