Marko Van Eekelen

• Foundational and Practical Aspects of Resource Analysis
• Interactive Theorem Proving