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.
Awards
- Distinguished Young Alumnus Award 2011 from the Faculty of Informatics of the Vienna University of Technology
- OCG Incentive Award (Foerderpreis) 2012 from the Austrian Computer Society
Research Interests
- Model-Driven/Model-Based Development
- Model Transformations
- Verification of Software Systems
- Model Checking
- Term rewriting