Giles Reger

• Runtime Verification
• Frontiers of Combining Systems