Dipl.-Ing. Dr.techn.

Sebastian Gabmeyer

Former Faculty Staff

email: sebastian.gabmeyer@tuwien.ac.at


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


Research Interests

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