Gerard R. Renardel de Lavalette

Address

Tel: +31 50 3637128
Fax: +31 50 3633800
Email (with spaces instead of dots): g r renardel de lavalette@rug nl

Research interests

• Dynamic Logic for Security (DyLoS)
• Proof theory of equational logic
• Exact models for intuitionistic propositional logic
• Modal and dynamic logic