TRÌNH ĐỘ HỌC VẤN
- Phó Giáo sư Kỹ thuật phần mềm, Đại học Universidad Complutense de Madrid, Tây Ban Nha.
- Tiến sĩ Triết học, Đại học Universidad de Navarra, Tây Ban Nha.
- Cử nhân Triết học, Đại học Universidad de Navarra, Tây Ban Nha.
- Kỹ thuật phần mềm. Kỹ thuật dựa trên mô hình.
- An toàn phần mềm. An toàn phần mềm dựa trên mô hình.
- Logic trong Khoa học Máy tính. Xác minh phần mềm.
