Gerard R. Renardel de Lavalette

Affiliations: 
University of Groningen, Groningen, Netherlands 
Area:
Dynamic Logic for Security, Proof theory of equational logic, Exact models for intuitionistic propositional logic, Modal and dynamic logic
Website:
http://www.cs.rug.nl/~grl/
Google:
"Gerard Rudolf Renardel de Lavalette"
Bio:

http://hoogleraren.ub.rug.nl/?page=showPerson&type=hoogleraar&hoogleraar_id=1073
G.R. Renardel de Lavalette at the Album Academicum of the University of Amsterdam
http://www.genealogy.math.ndsu.nodak.edu/id.php?id=49681

Parents

Sign in to add mentor
Anne S. Troelstra grad student 1985 Amsterdam
 (Theories with type-free application and extended bar induction)

Children

Sign in to add trainee
Niels A. Taatgen grad student 1999 RUG (Neurotree)