Jaime Gaspar


Dr. rer. nat. Technische Universität Darmstadt 2011 Germany
Dissertation: Proof interpretations: theoretical and practical aspects
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1: Ulrich Wilhelm Kohlenbach

Ph.D. University of Kent, Canterbury 2019 UnitedKingdom
Dissertation: Transformation of cryptographic primitives: provable security and proof presentation
Mathematics Subject Classification: 68—Computer science

Advisor 1: Eerke Albert Boiten
Advisor 2: Simon John Thompson

No students known.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 163582 for the advisor ID.