Ákos Horváth

PhD student
A doktorandusz fényképe

Contact information

Room: 
IB414
Office: 
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB414
Phone: 
+36 1 463-3579
Email: 
ahorvath (*) mit * bme * hu
Supervisor: 
Dániel Varró
Studies started: 
2006
Studies ended: 
2010

Research

  • Design Space Exploration problems
  • Constraint satisfaction problems based on graph transformation
  • Optimization of graph pattern matching
    • Compiled transformation from high-level specification
    • Hibrid pattern matching algorithms (local search and incremental)
  • Application of MDSD in embedded software development
  • Verification of model transformations:
    • Static analysis of transformation programs
    • Design-by-Contract with Hoare-style platform specific code analyzers: JML with Key and Spec#
  • Application of graph mining in model driven development

 

Education

© 2010-2024 BME MIT