Martin Sulzmann's Research
- Publications and manuscripts,
- Research Interests:
I am interested in all aspects of computer programming, in particular tools and methods
to make software systems easier to write and maintain, more secure and more efficient to execute.
I strongly believe in the importance of formal methods
and the application of high-level programming languages to achieve this task.
- Research Highlights:
- Current Research Directions:
- Research So Far:
- About this document ...