Arbeids- og kompetanseområde
I'm working in the area of formalization, implementation and verification of correctness of refactorings. Many "trivial" refactorings are not so trivial under conditions that are slightly changed from where they were introduced, for example in a concurrent setting. Specifically I am interested in:
- Refactoring defined on a formal model.
- Verification of correctness on such models.
- Practical uses of the above to implement correct refactorings under different conditions.
I'm a participant of the modern refactoring project.
Other interests include different programming paradigms and practical applications of formal methods. Formerly I've spent time working on techniques for optimizing array code through the use of a mathematical theory of arrays.
- Formalization, implementation and correctness of refactorings