Itzel Vazquez Sandoval

Itzel Vazquez Sandoval

PhD Researcher

Itzel received her MSc. diploma in the field of Computational Logic in 2014, by the Technische Universität Dresden and the Free University of Bolzano. She has professional experience as software architect and developer for around 4 years. Itzel joined the Applied Security and Information Assurance group – APSIA headed by Prof. Peter Y. A. Ryan, and she works on the application of formal methods in cryptography, in particular for the verification of implementations related to security protocols, under the supervision of Dr. Gabriele Lenzini.

Areas of expertise

  • Computational Logic
  • Formal Methods
  • Formal Verification

Research Interests

Itzel’s research activities are focused in the application of formal methods and logics, primarily in formal verification of systems and in automatic reasoning about business processes’ models.


Please refer to Itzel’s homepage or check our Publications section.

Campus Office

MNO, E02 0225-080
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette


(+352) 46 66 44 5866


(+352) 46 66 44 35866