Horváth Ákos

adjunktus
A munkatárs fényképe

Elérhetőségek

Iroda: 
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB417
Tel.: 
+36 1 463-35-86
Fax: 
+36 1 463-4112
Email: 
ahorvath (*) mit * bme * hu
Személyes honlap: 
http://home.mit.bme.hu/~ahorvath/

Bevezetés

Kutatási területek

  • "Design Space Exploration"
    • Gráf modellek felett kényszer kielégítési problémák specifikációja és megoldása
    • Bejárás optimalizációk
  • Modell vezérelt fejlesztés
    • beágyazott rendszerek fejlesztése: repülőgépipar
  • Gráf mintaillesztés optimalizálása
    • lokális kereséssen alapuló algoritmusok
    • hibrid mintaillesztési algoritmusok (lokális keresésen alapú és inkrementális)
  • Modelltranszformációk verifikációja:
    • Statikus analízis alapú ellenőrzések
    • "Design-by-Contract" paradiga használata Hoare logikán alapuló tételbizonyítókkal: JML a KeY  rendszerrel és Spec#
  • A gráfbányászat hasznosítása a modellvezérelt fejlesztés során

Oktatás

Tanszékünkön oktatott tantárgyai:

Kutatás

Publikációs lista, tudománymetriai táblázat és szerzői oldalak:  ResearcherID  Scopus  ORCID  Google Scholar  ResearchGate

Projektek: