Ensure
ENsurance of Software evolUtion by Run-time cErtification
My main interests are Graph Transformations, Machine Learning, Functional Programming (mainly Haskell), and Compilers. I have published papers and supervised several theses on these topics and am always happy to talk about them :)
My research focus is the development of a recommender system for structured data (EMF models, XML files, serialized UML diagrams, etc.) that is formalism agnostic. I achieve this by learning common changes in a set of noisy before and after examples. Such a set of examples could, for example, be extracted from the version history of an XML file in a version control system. The learned common changes can then be used to generate recommendations tailored to the example data set.
I try to do as much of my work as possible in Haskell: I once implemented a web crawler that finds and mines git repositories and stores its results in a SQLite data base; all in Haskell. (Results published here: 10.18725/OPARU-9850)
Outside of work I enjoy cycling, go/baduk/weiqi, and playing walking simulators.
DOI: | 10.18725/OPARU-9850 |
DOI: | 10.1145/3106237.3119874 |
Datei: |
Datei: |