Picture of Sebastian Gabmeyer

Dipl.-Ing. Dr.techn.

Sebastian Gabmeyer

Former Faculty Staff

email: sebastian.gabmeyer@tuwien.ac.at

Profile

Sebastian Gabmeyer studied Business Informatics at the Vienna University of Technology where he received his master’s degree for his thesis on the Formalization of the Operation Recorder based on Graph Transformation Theory. Currently, he is a researcher in the FAME project and working on his PhD thesis concerned with the verification of software models and model transformations.

List of Publications

Awards

Research Interests

  • Model-Driven/Model-Based Development
  • Model Transformations
  • Verification of Software Systems
  • Model Checking
  • Term rewriting