DAVID DE
FRUTOS ESCRIG
Catedrático de universidad
Departament: Sistemas Informáticos y Computación
Facultat: Ciencias Matemáticas
Àrea: Llenguatges i Sistemes Informàtics
Grup d'investigació: Diseño y análisis formal de sistemas de software
Correu: defrutos@ucm.es
Doctor per la Universidad Complutense de Madrid amb la tesi Algunas cuestiones relacionadas con la semantica de construcciones probabilisticas 1985. Dirigida per Dr/a. Klaus Indermark.