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

Legfontosabb publikációk

• Vörös, A., Darvas, D., Molnár, V., Klenik, A., Hajdu, Á., Jámbor, A., Bartha, T., and Majzik, I., "PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research", Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 123-132, 2016.
• Hajdu, Á., Tóth, T., Vörös, A., and Majzik, I., "A Configurable CEGAR Framework with Interpolation-Based Refinements", Formal Techniques for Distributed Objects, Components, and Systems, vol. 9688: Springer International Publishing, pp. 158-174, 2016. [Prezentáció]
• Hajdu, Á., Vörös, A., and Bartha, T., "New Search Strategies for the Petri Net CEGAR Approach", Application and Theory of Petri Nets and Concurrency, vol. 9115: Springer International Publishing, pp. 309-328, 2015. [Prezentáció]
• Hajdu, Á., Vörös, A., Bartha, T., and Mártonka, Z., "Extensions to the CEGAR Approach on Petri Nets", Acta Cybernetica, vol. 21, issue 3, pp. 417, 08/2014.

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
• A SAT/SMT-based CEGAR Framework poszter, SAT/SMT/AR Summer School 2016
• IncQuery Labs Akadémia előadás: SAT/SMT/AR - Bevezető és alkalmazások [pdf] [ppt]
• Programozói konferencia 2016 előadás: C++ szkriptvázak generálása részecskefizikai adatelemzéshez [pdf]
• McGill előadás: Software Verification with Abstraction-Based Methods [pdf]