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.
LĨNH VỰC NGHIÊN CỨU
– 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.
